OSAMA, Muhammad, WIJS, Anton, AHRENDT, Wolfgang und TAPIA TARIFA, Silvia Lizeth, 2019. SIGm A:GPU accelerated simplification of SAT formulas. Osama, M & Wijs, A 2019, SIGm A : GPU accelerated simplification of SAT formulas. in W Ahrendt & S L Tapia Tarifa (eds), Integrated Formal Methods - 15 th 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, 15 th International Conference on Integrated Formal Methods, IFM 2019, Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-34968-4_29. 1 Januar 2019. DOI 10.1007/978-3-030-34968-4_29.

Osama, M., Wijs, A., Ahrendt, W., Tapia Tarifa, S.L., 2019. SIGm A:GPU accelerated simplification of SAT formulas. Osama, M & Wijs, A 2019, SIGm A : GPU accelerated simplification of SAT formulas. in W Ahrendt & S L Tapia Tarifa (eds), Integrated Formal Methods - 15 th 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, 15 th International Conference on Integrated Formal Methods, IFM 2019, Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-34968-4_29. https://doi.org/10.1007/978-3-030-34968-4_29

Osama, M., Wijs, A., Ahrendt, W., & Tapia Tarifa, S. L. (2019). SIGm A:GPU accelerated simplification of SAT formulas. Osama, M & Wijs, A 2019, SIGm A : GPU Accelerated Simplification of SAT Formulas. in W Ahrendt & S L Tapia Tarifa (eds), Integrated Formal Methods - 15 th 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, 15 th International Conference on Integrated Formal Methods, IFM 2019, Bergen, Norway, 2/12/19. https://doi.Org/10.1007/978-3-030-34968-4_29. https://doi.org/10.1007/978-3-030-34968-4_29

Osama M, Wijs A, Ahrendt W, Tapia Tarifa SL (2019) SIGm A:GPU accelerated simplification of SAT formulas. Osama, M & Wijs, A 2019, SIGm A : GPU accelerated simplification of SAT formulas. in W Ahrendt & S L Tapia Tarifa (eds), Integrated Formal Methods - 15 th 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, 15 th International Conference on Integrated Formal Methods, IFM 2019, Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-34968-4_29. https://doi.org/10.1007/978-3-030-34968-4_29

Osama, Muhammad/ Wijs, Anton/ Ahrendt, Wolfgang/ Tapia Tarifa, Silvia Lizeth, SIGm A:GPU accelerated simplification of SAT formulas, Osama, M & Wijs, A 2019, SIGm A : GPU accelerated simplification of SAT formulas. in W Ahrendt & S L Tapia Tarifa (eds), Integrated Formal Methods - 15 th 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, 15 th 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.