papers
Publications (6)
cs.AI2010
Symmetry within Solutions
Marijn Heule, Toby Walsh
cs.ET2019
Computing properties of stable configurations of thermodynamic binding networks
Keenan Breik, Chris Thachuk, Marijn Heule +1
cs.AI2014
Towards Ultra Rapid Restarts
Shai Haim, Marijn Heule
cs.LO2010
Covered Clause Elimination
Marijn Heule, Matti Järvisalo, Armin Biere
cs.DS2014
Symbiosis of Search and Heuristics for Random 3-SAT
Sid Mijnders, Boris de Wilde, Marijn Heule
cs.LO2016
Efficient Certified RAT Verification
LuÃs Cruz-Filipe, Marijn Heule, Warren Hunt +2