Heule, Marijn J. H.

5 publications

JAIR 2025 Certified Knowledge Compilation with Application to Formally Verified Model Counting Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule

AAAI 2025 The Impact of Literal Sorting on Cardinality Constraint Encodings Joseph E. Reeves, João Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule

AAAI 2018 Schur Number Five Marijn J. H. Heule

AAAI 2017 SAT Competition 2016: Recent Developments Tomás Balyo, Marijn J. H. Heule, Matti Järvisalo

IJCAI 2017 Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek