Heule, Marijn

4 publications

AAAI 2020 Constructing Minimal Perfect Hash Functions Using SAT Technology Sean A. Weaver, Marijn Heule

JAIR 2015 Clause Elimination for SAT and QSAT Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere

AAAI 2015 What's Hot in the SAT and ASP Competitions Marijn Heule, Torsten Schaub

AAAI 2010 Symmetry in Solutions Marijn Heule, Toby Walsh