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 SzeiderProceedings of SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing (Luca Pulina, Martina Seidl, eds.), volume 12178 of Lecture Notes in Computer Science, pages 412–428, 2020, Springer Verlag.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@InProceedings{ShuklaSlivovskySzeider20,
  author    = {Ankit Shukla and Friedrich Slivovsky and Stefan Szeider},
  title     = {Short {Q}-Resolution Proofs with Homomorphisms},
  booktitle = {Proceedings of SAT 2020, The 23rd International
                  Conference on Theory and Applications of
                  Satisfiability Testing},
  year      = {2020},
  editor    = {Luca Pulina and Martina Seidl},
  series    = LNCS,
  publisher = Springer,
  pdf      = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-20-007.pdf},
 volume    = {12178},
  pages     = {412--428},
  keywords   ={slim,reveal,l2solve},
}