by Johannes K. Fichte, Markus Hecher, Stefan Szeider
Reference:
A Time Leap Challenge for SAT-SolvingJohannes K. Fichte, Markus Hecher, Stefan SzeiderProceedings 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.
Bibtex Entry:
@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{FichteHecherSzeider20a,
author = {Johannes K. Fichte and Markus Hecher and Stefan Szeider},
title = {A Time Leap Challenge for {SAT}-Solving},
booktitle = {Proceedings of CP 2020, the 26th International
Conference on Principles and Practice of Constraint
Programming},
year = {2020},
editor = {Helmut Simonis},
publisher = Springer,
series = LNCS,
volume = {12333},
pages = {267--285},
pdf = {https://arxiv.org/abs/2008.02215},
keywords = {slim,reveal},
}