Author:Marijn Heule



achievements, ACL2, automated reasoning, Boolean Sensitivity, calculi, chromatic number of the plane, clause elimination, clause sharing, CNF, competition, Compression, electronic circuits, evaluation, first-order logic, graph coloring, hypercubes, industrial applications, interactive theorem proving, Logic Locking, parallel satisfiability solver, proof, proofs, QBF, radio colorings, SAT3, SAT preprocessing, SAT solving, satisfiability2, satisfiability checking, scrambling, simplification, unsatisfiability proof.