This page gives access to material related to our distributed SAT solver paracooba.

Maximilian Heisinger, Mathias Fleury, Armin Biere. Distributed Cube and Conquer with Paracooba. In Proc. 23rd Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'20), Lecture Notes in Computer Science (LNCS) vol. 12178, pages 114-122, Springer 2020.
[ preprint | bibtex | award | experiments | paracooba ]

Armin Biere, Katalin Fazekas, Mathias Fleury, Maximillian Heisinger. CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020. To appear in Proc. of SAT Competition 2020 - Solver and Benchmark Descriptions.
[ paper | bibtex | kissat | cadical | paracooba | plingeling | treengeling ]

SAT'20 Best Presentation Award