Finding the Hardest Formulas for Resolution

Peitl, Tomáš; Szeider, Stefan

by Tomáš Peitl, Stefan Szeider

Reference:

Finding the Hardest Formulas for ResolutionTomáš Peitl, 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 514–530, 2020, Springer Verlag.Note: Best Paper Award

Bibtex Entry:

@string{springer="Springer Verlag"}
@string{lncs="Lecture Notes in Computer Science"}
@InProceedings{PeitlSzeider20,
  author       = {Tom{\'{a}}{\v{s}} Peitl and Stefan Szeider},
  title        = {Finding the Hardest Formulas for Resolution},
  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,
  pages     = {514--530},
  volume    = {12333},
  note         = {Best Paper Award},
  pdf          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-008.pdf},
  keywords     = {slim,reveal},
}