Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Rebola-Pardo Adrian - 2016 - DRAT proofs for XOR reasoning.pdf.jpgRebola-Pardo, Adrian ; Tobias, Philipp DRAT proofs for XOR reasoningInproceedings Konferenzbeitrag 2016