A Time Leap Challenge for SAT-Solving

Fichte, Johannes K.; Hecher, Markus; Szeider, Stefan

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},
}