Author:Marijn Heule

Publications
Sensitivity Analysis of Locked Circuits Joseph Sweeney, Marijn Heule and Lawrence Pileggi In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Coloring Unit-Distance Strips using SAT Peter Oostema, Ruben Martins and Marijn Heule In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Effect of Scrambling CNFs Armin Biere and Marijn Heule In:Proceedings of Pragmatics of SAT 2015 and 2018
The Potential of Interference-Based Proof Systems Marijn Heule and Benjamin Kiesl In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Moore and Marijn Heule In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Everything's Bigger in Texas: "The Largest Math Proof Ever" Marijn Heule In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Clausal Proof Compression Marijn Heule and Armin Biere In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers Marijn Heule, Norbert Manthey and Tobias Philipp In:POS-14. Fifth Pragmatics of SAT workshop
Covered Clause Elimination Marijn Heule, Matti Järvisalo and Armin Biere In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.

Keyphrases

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, SAT², SAT preprocessing, SAT solving, satisfiability², satisfiability checking, scrambling, simplification, unsatisfiability proof.