A Time Leap Challenge for SAT-Solving

Abstract

Full Citation:

Johannes K. Fichte, Markus Hecher, Stefan Szeider. A Time Leap Challenge for SAT-Solving. Proceedings of CP 2020, the 26th International Conference on Principles and Practice of Constraint Programming (Helmut Simonis, ed.), volume 12333 of Lecture Notes in Computer Science, pages 267–285, 2020, Springer Verlag.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.