Finding the Hardest Formulas for Resolution (Extended Abstract) (bibtex)
by ,
Reference:
Finding the Hardest Formulas for Resolution (Extended Abstract)Tomás 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}}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}
}
Powered by bibtexbrowser