Author of the publication

Super-Blocked Clauses.

, , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 45-61. Springer, (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

Migrating Solver State., , , , and . SAT, volume 236 of LIPIcs, page 27:1-27:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Encoding Redundancy for Satisfaction-Driven Clause Learning., , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 41-58. Springer, (2019)Simulating Strong Practical Proof Systems with Extended Resolution., , , and . J. Autom. Reason., 64 (7): 1247-1267 (2020)Preprocessing in SAT Solving., , and . Handbook of Satisfiability, volume 336 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)Clone Detection in Secure Messaging: Improving Post-Compromise Security in Practice., , , and . ACM Conference on Computer and Communications Security, page 1481-1495. ACM, (2020)Truth Assignments as Conditional Autarkies., , and . ATVA, volume 11781 of Lecture Notes in Computer Science, page 48-64. Springer, (2019)QRAT Polynomially Simulates ∀ -Exp+Res., and . SAT, volume 11628 of Lecture Notes in Computer Science, page 193-202. Springer, (2019)The Potential of Interference-Based Proof Systems., and . ARCADE@CADE, volume 51 of EPiC Series in Computing, page 51-54. EasyChair, (2017)Short Proofs Without New Variables., , and . CADE, volume 10395 of Lecture Notes in Computer Science, page 130-147. Springer, (2017)Extended Resolution Simulates DRAT., , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 516-531. Springer, (2018)