vix.ing · top · new · best · stats · spec

Abdelrahman Hosny

  1. torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem
    2024/02/06 by Abdelrahman Hosny, Sherief Reda, Hosny, Abdelrahman +1 · 2 citations
    Computer Science · #Distributed and Parallel Computing Systems #Parallel Computing and Optimization Techniques #AI-based Problem Solving and Planning