Author of the publication

DRAT Proofs for XOR Reasoning.

, and . JELIA, volume 10021 of Lecture Notes in Computer Science, page 415-429. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Simulating Strong Practical Proof Systems with Extended Resolution., , , and . J. Autom. Reason., 64 (7): 1247-1267 (2020)A Theory of Satisfiability-Preserving Proofs in SAT Solving., and . LPAR, volume 57 of EPiC Series in Computing, page 583-603. EasyChair, (2018)Fuzzing and Verifying RAT Refutations with Deletion Information., , , and . FLAIRS, page 190-193. AAAI Press, (2017)DRAT Proofs for XOR Reasoning., and . JELIA, volume 10021 of Lecture Notes in Computer Science, page 415-429. (2016)RAT Elimination., and . LPAR, volume 73 of EPiC Series in Computing, page 423-448. EasyChair, (2020)Complete and Efficient DRAT Proof Checking., and . FMCAD, page 1-9. IEEE, (2018)Towards a Semantics of Unsatisfiability Proofs with Inprocessing., and . LPAR, volume 46 of EPiC Series in Computing, page 65-84. EasyChair, (2017)Even Shorter Proofs Without New Variables.. SAT, volume 271 of LIPIcs, page 22:1-22:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Two flavors of DRAT., and . POS@SAT, volume 59 of EPiC Series in Computing, page 94-110. EasyChair, (2018)Modeling the cost and coverage of an ad-hoc asset management system based on existing fleet vehicles., , , and . Intelligent Vehicles Symposium, page 1068-1073. IEEE, (2015)