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, industrial applications, interactive theorem proving, Logic Locking, parallel satisfiability solver, proof, proofs, QBF, SAT2, SAT preprocessing, SAT solving, satisfiability2, satisfiability checking, scrambling, simplification, unsatisfiability proof.