Finding the Hardest Formulas for Resolution (Extended Abstract)

Peitl, Tomáš; Szeider, Stefan

doi:10.24963/ijcai.2021/657

by Tomáš Peitl, Stefan Szeider

Reference:

Finding the Hardest Formulas for Resolution (Extended Abstract)Tomáš Peitl, Stefan SzeiderProceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence (Zhi-Hua Zhou, ed.), pages 4814–4818, 2021.Note: Sister Conferences Best Papers

Bibtex Entry:

@inproceedings{PeitlSzeider21,
  author    = {Tom{\'{a}}\v{s} Peitl and
               Stefan Szeider},
  title     = {Finding the Hardest Formulas for Resolution (Extended Abstract)},
  booktitle = {Proceeding of IJCAI-21, the 30th International Joint Conference on Artificial Intelligence},
  pages     = {4814--4818},
  year      = {2021},
  doi       = {10.24963/ijcai.2021/657},
  editor    = {Zhi{-}Hua Zhou},
  keywords  = {slim,reveal},
  note      = {Sister Conferences Best Papers}
}