2021

  • M. Osama and A.J. Wijs, “ParaFROST at the SAT Race 2021.” InĀ Proc. SAT Competition 2021 – Solver and Benchmark Descriptions, online, volume B-2020-1 of Department of Computer Science Series of Publications B, pp. 32-34, University of Helsinki (2021). ParaFROST is among Top Ten this year. [ paper ]
  • Osama M., Wijs A. , “GPU Acceleration of Bounded Model Checking with ParaFROST.” In: Silva A., Leino K.R.M. (eds) Computer Aided Verification. CAV 2021. Lecture Notes in Computer Science, vol 12760. Springer, Cham. [ paper | slides | artifact | github ]
  • Osama M., Wijs A. and Biere A., “SAT Solving with GPU Accelerated Inprocessing.” In: Groote J.F., Larsen K.G. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2021. LNCS, vol 12651. Springer, Cham. [ paper | slides | artifact | github ]

2020

  • Osama M. and Wijs A., “Multiple Decision Making in Conflict-Driven Clause Learning,” 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Baltimore, MD, USA, 2020, pp. 161-169.
    [ paper | tools | slides ]
  • M. van Stiphout, M. Osama and A.J. Wijs, “SAT Encodings for Flood-It Puzzle.” In Proc. SAT Competition 2020 – Solver and Benchmark Descriptions, online, volume B-2020-1 of Department of Computer Science Series of Publications B, pp. 87-88, University of Helsinki (2020) [ paper ]
  • M. Osama and A.J. Wijs, “ParaFROST, ParaFROST CBT, ParaFROST HRE, ParaFROST ALL at the SAT Race 2020.” In Proc. SAT Competition 2020 – Solver and Benchmark Descriptions, online, volume B-2020-1 of Department of Computer Science Series of Publications B, pp. 42-43, University of Helsinki (2020) [ paper ]

2019

  • Osama M., Wijs A., “SIGmA: GPU Accelerated Simplification of SAT Formulas.” In: Ahrendt W., Tapia Tarifa S. (eds) Integrated Formal Methods. IFM 2019. LNCS, vol 11918. Springer, Cham. [ paper | tool ]
  • Osama M., Wijs A., “Parallel SAT Simplification on GPU Architectures.” In: Vojnar T., Zhang L. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. LNCS, vol 11427. Springer, Cham. [ paper ]