203 citations · 391 across the 22 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 98 cited
Efficient Certified RAT Verification
Luís Cruz-Filipe, Marijn Heule, Warren Hunt +2
Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive eve…
cs.LO2016★ 9 cited
The DRAT format and DRAT-trim checker
Marijn J. H. Heule
This document describes the DRAT format for clausal proofs and the DRAT-trim proof checker.
cs.DM2016★ 203 cited
Solving and Verifying the boolean Pythagorean Triples problem via Cube-and-Conquer
Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
The boolean Pythagorean Triples problem has been a longstanding open problem in Ramsey Theory: Can the set N = of natural numbers be divided into two parts, such th…