Author:Marijn Heule

Publications

Keyphrases

achievements, ACL2, automated reasoning, calculi, clause elimination, clause sharing, CNF, competition, Compression, evaluation, first-order logic, industrial applications, interactive theorem proving, parallel satisfiability solver, proof, proofs, QBF, SAT2, SAT preprocessing, satisfiability, satisfiability checking, scrambling, simplification, unsatisfiability proof.