SIGmA:GPU accelerated simplification of SAT formulas - Osama, Muhammad; Wijs, Anton; Ahrendt, Wolfgang; Tapia Tarifa, Silvia Lizeth (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, 2019)