Showing 1 - 2 of 2

Parallel SAT simplification on GPU architectures
Osama, Muhammad ; Wijs, Anton ; Zhang, Lijun ; et al.
Osama, M & Wijs, A 2019, Parallel SAT simplification on GPU architectures. in L Zhang & T Vojnar (eds), Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11427 LNCS, Springer, Cham, pp. 21-40, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the ....

SIGmA:GPU accelerated simplification of SAT formulas
Osama, Muhammad ; Wijs, Anton ; Ahrendt, Wolfgang ; et al.
Osama, M & Wijs, A 2019, SIGmA : GPU accelerated simplification of SAT formulas. in W Ahrendt & S L Tapia Tarifa (eds), Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11918 LNCS, Springer, Cham, pp. 514-522, 15th International Conference on Integrated Formal Methods, IFM 2019, Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-34968-4_29