DRAT Proofs for XOR Reasoning

Philipp, Tobias; Rebola-Pardo, Adrian

doi:10.1007/978-3-319-48758-8_27

by Tobias Philipp, Adrian Rebola-Pardo

Reference:

DRAT Proofs for XOR ReasoningTobias Philipp, Adrian Rebola-PardoLogics in Artificial Intelligence - 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (Loizos Michael, Antonis C. Kakas, eds.), volume 10021 of Lecture Notes in Computer Science, pages 415–429, 2016.

Bibtex Entry:

@inproceedings{DBLP:conf/jelia/PhilippR16,
  author    = {Tobias Philipp and
               Adrian Rebola{-}Pardo},
  editor    = {Loizos Michael and
               Antonis C. Kakas},
  title     = {{DRAT} Proofs for {XOR} Reasoning},
  booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
               2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10021},
  pages     = {415--429},
  year      = {2016},
  url       = {http://repositum.tuwien.ac.at/obvutwoa/download/pdf/1943625},
  doi       = {10.1007/978-3-319-48758-8_27},
  timestamp = {Wed, 02 Nov 2016 13:15:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jelia/PhilippR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}