Max Heisinger, BSc
Max Heisinger is an enthusiastic Computer Science student, who grew attached to let computers "think" for him. After finishing his bachelor thesis about automated checking of control software for robots, and working in the LogTechEDU project, he created the distributed cube-and-conquer based SAT-solver Paracooba. He is now employed at the Institute for Symbolic Artificial Intelligence.
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
Armin Biere, Katalin Fazekas, Mathias Fleury, Maximillian
CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the
SAT Competition 2020. To appear in Proc. of SAT
Competition 2020 - Solver and Benchmark Descriptions.
Maximilian Heisinger, Static Analysis of Physically Constrained Software Systems Using SMT. Bachelor Thesis, Computer Science, Johannes Kepler University, Linz, 2018.
Institute for Formal Models and Verification