A Time Leap Challenge for SAT-Solving

Johannes K. Fichte, Markus Hecher, Stefan Szeider
January 2020
bib Project Project

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), volume 12333 of Lecture Notes in Computer Science, pages 267-285, 2020, Springer Verlag.

Type
Conference Paper
Reveal Slim
Stefan Szeider
Stefan Szeider
Head of Research Unit

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