[  contact | address ]

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.

Contact

maximilian.heisinger@jku.at
https://fmv.jku.at/heisinger
https://maxheisinger.at

Publications

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 ]

Maximilian Heisinger, Static Analysis of Physically Constrained Software Systems Using SMT. Bachelor Thesis, Computer Science, Johannes Kepler University, Linz, 2018.

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria