Polynomial-Time Validation of QCDCL Certificates

Peitl, Tomáš; Slivovsky, Friedrich; Szeider, Stefan

doi:10.1007/978-3-319-94144-8

by Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider

Reference:

Polynomial-Time Validation of QCDCL CertificatesTomáš Peitl, Friedrich Slivovsky, Stefan SzeiderProceedings of SAT 2018, the 21st International Conference on Theory and Applications of Satisfiability Testing, Part of FLoC 2018, July 9–12, 2018, Oxford, UK (Olaf Beyersdorff, Christoph M. Wintersteiger, eds.), volume 10929 of Lecture Notes in Computer Science, pages 253–269, 2018, Springer Verlag.

Bibtex Entry:

@string{lncs="Lecture Notes in Computer Science"}
@string{springer="Springer Verlag"}
@InProceedings{PeitlSlivovskySzeider18,
  author    = {Tom\'{a}\v{s} Peitl and Friedrich Slivovsky and Stefan Szeider},
  title     = {Polynomial-Time Validation of {QCDCL} Certificates},
  booktitle = {Proceedings of SAT 2018,
                  the 21st International
                  Conference on Theory and Applications of
                  Satisfiability Testing, Part of FLoC 2018, July
                  9--12, 2018, Oxford, UK},
  year      = {2018},
  editor    = {Olaf Beyersdorff and Christoph M. Wintersteiger},
  series    = LNCS,
  publisher = Springer,
  pages     = {253--269},
  volume    = {10929},
  url       = {http://www.ac.tuwien.ac.at/files/tr/ac-tr-18-003.pdf},
  doi       = {10.1007/978-3-319-94144-8},
  keywords  = {QBF}
}