Finding the Hardest Formulas for Resolution

Peitl, Tomáš; Szeider, Stefan

doi:10.1613/jair.1.12589

by Tomáš Peitl, Stefan Szeider

Reference:

Finding the Hardest Formulas for ResolutionTomáš Peitl, Stefan SzeiderJournal of Artificial Intelligence Research, volume 72, pages 69–97, 2021.Note: Conference Award Track, best paper CP 2020

Bibtex Entry:

@string{jair="Journal of Artificial Intelligence Research"}
@Article{PeitlSzeider21b,
  author       = {Tom{\'{a}}{\v{s}} Peitl and Stefan Szeider},
  title        = {Finding the Hardest Formulas for Resolution},
  year         = {2021},
  volume    = {72},
  journal = JAIR,
  pages     = {69--97},
   doi       = {10.1613/jair.1.12589},
  note      = {Conference Award Track, best paper CP 2020},
  keywords     = {slim,reveal},
}