This page shows all presentations of this author published in EasyChair Smart Slide.
Chinese Remainder Encoding for Hamiltonian Cycles
Marijn Heule
Coloring Unit-Distance Strips using SAT
Peter Oostema, Ruben Martins and Marijn Heule
Sensitivity Analysis of Locked Circuits
Joseph Sweeney, Marijn J. H. Heule and Lawrence Pileggi
Formal Verification of Unsatisfiability Results
The Effect of Scrambling CNFs
Armin Biere and Marijn Heule
Extended Resolution Simulates DRAT
Benjamin Kiesl, Adrián Rebola-Pardo and Marijn Heule