DRAT Proofs for XOR Reasoning (bibtex)
by Tobias Philipp, Adrian Rebola-Pardo
Reference:
DRAT Proofs for XOR ReasoningTobias Philipp, Adrian Rebola-PardoLogics in Artificial Intelligence (JELIA), pages 415-429, 2016, Springer.
Bibtex Entry:
@inproceedings{PP16:JELIA,
  author    = {Tobias Philipp and Adrian Rebola{-}Pardo},
  title = {{DRAT} Proofs for {XOR} Reasoning},
  booktitle   = {Logics in Artificial Intelligence (JELIA)},
  publisher={Springer},
    series = {LNCS},
      year      = {2016},
  pages = {415--429},
  url = {http://dx.doi.org/10.1007/978-3-319-48758-8_27},
}
Powered by bibtexbrowser