Are Hitting Formulas Hard for Resolution?

Peitl, Tomáš; Szeider, Stefan

doi:10.1016/j.dam.2023.05.003

by Tomáš Peitl, Stefan Szeider

Reference:

Are Hitting Formulas Hard for Resolution?Tomáš Peitl, Stefan SzeiderDiscr. Appl. Math., volume 337, pages 173–184, 2023.

Bibtex Entry:

@string{dam="Discr. Appl. Math."}
@Article{PeitlSzeider23,
  author    = {Tom{\'{a}}\v{s} Peitl and
               Stefan Szeider},
  title     = {Are Hitting Formulas Hard for Resolution?},
  journal      = DAM,
  year 	       = 2023,
volume    = {337},
  pages     = {173--184},
  doi = {10.1016/j.dam.2023.05.003},
    keywords  = {slim,reveal}
}