Muhammad Osama Mahmoud, PhD

Search results

• ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing

  Mahmoud, M. O. (Creator), Zenodo, 26 Jul 2021

  DOI: 10.5281/zenodo.5137887

  Dataset

• Experiments of Multiple Decision Making in CDCL SAT Solvers

  Mahmoud, M. O. (Creator) & Wijs, A. J. (Creator), Zenodo, 23 Jun 2021

  DOI: 10.5281/zenodo.5018340

  Dataset

• Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing

  Mahmoud, M. O. (Creator), Zenodo, 26 Jul 2021

  DOI: 10.5281/zenodo.5138008

  Dataset