M. Osama and A.J. Wijs, “SeqFROST at the SAT Race 2022.” In Proc. SAT Competition 2022 – Solver and Benchmark Descriptions, online, volume B-2022-1 of Department of Computer Science Series of Publications B, pp. 30-31, University of Helsinki (2022). SeqFROST won the first place at the main sequential (SAT) track. [ paper | github ]
M. Osama, “GPU Enabled Automated Reasoning“, Doctor of Philosophy, Mathematics and Computer Science, Eindhoven University of Technology, 2022. 199 p. IPA dissertation series 2022-02. [ thesis ]
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-2021-1 of Department of Computer Science Series of Publications B, pp. 32-34, University of Helsinki (2021). [ paper ]
M. Osama and A.J. Wijs, “Verifying String Safety Properties in AWS C99 Package with CBMC.” In Proc. SAT Competition 2021 – Solver and Benchmark Descriptions, online, volume B-2021-1 of Department of Computer Science Series of Publications B, pp. 64, University of Helsinki (2021). [ 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 ]