Finding the Hardest Formulas for Resolution (bibtex)
by ,
Reference:
Finding the Hardest Formulas for ResolutionTomáš Peitl, Stefan SzeiderJournal Artificial Intelligence Research, volume 72, pages 69–97, 2021.Note: Conference Award Track, best paper CP 2020
Bibtex Entry:
@string{jair="Journal 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       = {https://doi.org/10.1613/jair.1.12589},
  note      = {Conference Award Track, best paper CP 2020},
  keywords     = {slim,reveal},
}
Powered by bibtexbrowser