Author:Marijn Heule

Publications
Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors) EPiC Series in Computing, volume 100
LPAR 2024 Complementary Volume Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors) Kalpa Publications in Computing, volume 18
Coloring Queens with Thousands of Encodings Bernardo Subercaseaux, Benjamin Przybocki and Marijn Heule In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Toward Optimal Radio Colorings of Hypercubes via SAT-solving Bernardo Subercaseaux and Marijn Heule In:Proceedings of 24th 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
Sensitivity Analysis of Locked Circuits Joseph Sweeney, Marijn J. H. Heule and Lawrence Pileggi 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
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
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
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, cardinality constraints, 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, queen's graph, radio colorings, SAT³, SAT encoding, SAT preprocessing, SAT solving, satisfiability², satisfiability checking, scrambling, simplification, symmetry breaking, unsatisfiability proof.