Are Hitting Formulas Hard for Resolution? (bibtex)
by ,
Reference:
Are Hitting Formulas Hard for Resolution?Tomáš Peitl, Stefan Szeider2022, Technical report abs/2206.15225, CoRR.
Bibtex Entry:
@TechReport{PeitlSzeider22,
  author    = {Tom{\'{a}}\v{s} Peitl and
               Stefan Szeider},
  title     = {Are Hitting Formulas Hard for Resolution?},
  institution   = {CoRR},
  number    = {abs/2206.15225},
  year      = {2022},
  url       = {https://doi.org/10.48550/arXiv.2206.15225},
}
Powered by bibtexbrowser