OSAMA, Muhammad, WIJS, Anton, ZHANG, Lijun and VOJNAR, Tomáš, 2019. Parallel SAT simplification on GPU architectures. 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 - 25 th 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, 25 th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22 nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17462-0_2. 1 January 2019. DOI 10.1007/978-3-030-17462-0_2.

Osama, M., Wijs, A., Zhang, L., Vojnar, T., 2019. Parallel SAT simplification on GPU architectures. 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 - 25 th 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, 25 th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22 nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17462-0_2. https://doi.org/10.1007/978-3-030-17462-0_2

Osama, M., Wijs, A., Zhang, L., & Vojnar, T. (2019). Parallel SAT simplification on GPU architectures. 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 - 25 th 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, 25 th International Conference on Tools and Algorithms for the Construction and Analysis of Systems Conference Series, TACAS 2019 Held As Part of the 22 nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19. https://doi.Org/10.1007/978-3-030-17462-0_2. https://doi.org/10.1007/978-3-030-17462-0_2

Osama M, Wijs A, Zhang L, Vojnar T (2019) Parallel SAT simplification on GPU architectures. 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 - 25 th 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, 25 th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22 nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17462-0_2. https://doi.org/10.1007/978-3-030-17462-0_2

Osama, Muhammad/ Wijs, Anton/ Zhang, Lijun/ Vojnar, Tomáš, Parallel SAT simplification on GPU architectures, 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 - 25 th 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, 25 th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22 nd European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, 6/04/19. https://doi.org/10.1007/978-3-030-17462-0_2 2019.