Short Q-Resolution Proofs with Homomorphisms

Shukla, Ankit; Slivovsky, Friedrich; Szeider, Stefan

by Ankit Shukla, Friedrich Slivovsky, Stefan Szeider

Reference:

Short Q-Resolution Proofs with HomomorphismsAnkit Shukla, Friedrich Slivovsky, Stefan Szeider2020, Technical report AC-TR-20-007, Algorithms and Complexity Group, TU Wien.

Bibtex Entry:

@TechReport{ShuklaSlivovskySzeider20tr,
  author    = {Ankit Shukla and Friedrich Slivovsky and Stefan Szeider},
  title     = {Short {Q}-Resolution Proofs with Homomorphisms},
  institution  = {Algorithms and Complexity Group, TU Wien},
  year         = {2020},
  number       = {AC-TR-20-007},
  url          = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-007.pdf},
}