M.J.H. Heule | TU Delft Repository

MH

M.J.H. Heule

Book chapter (1)

Conference paper (22)

Doctoral thesis (1)

Journal article (12)

36 records found

1

Software model synthesis using satisfiability solvers

Journal article (2013) - M.J.H. Heule (author), MJH Heule (author), SE Verwer (author)

Symmetry in gardens of Eden

Journal article (2013) - C Hartman (author), M.J.H. Heule (author), MJH Heule (author), K Kwekkeboom (author), A Noels (author)

Inprocessing Rules

Conference paper (2012) - M Järvisalo (author), M.J.H. Heule (author), MJH Heule (author), A Biere (author)

Concurrent Cube-and-Conquer

Conference paper (2012) - P van der Tak (author), M.J.H. Heule (author), MJH Heule (author), A Biere (author)

Simulating Circuit-Level Simplifications on CNF

Journal article (2012) - M Järvisalo (author), A Biere (author), M.J.H. Heule (author), MJH Heule (author)

Automated Reencoding of Boolean Formulas

Conference paper (2012) - N Manthey (author), M.J.H. Heule (author), MJH Heule (author), A Biere (author)

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

Conference paper (2012) - MJH Heule (author), M.J.H. Heule (author), O Kullmann (author), S. Wieringa (author), A Biere (author)

Reusing the Assignment Trail in CDCL Solvers

Journal article (2011) - P van der Tak (author), A Ramos (author), M.J.H. Heule (author), MJH Heule (author)

EagleUP: Solving Random 3-SAT using SLS with Unit Propagation

Conference paper (2011) - O Gableske (author), M.J.H. Heule (author), MJH Heule (author)

Between Restarts and Backjumps

Conference paper (2011) - A Ramos (author), P van der Tak (author), M.J.H. Heule (author), MJH Heule (author)

Efficient CNF Simplification based on Binary Implication Graphs

Conference paper (2011) - M.J.H. Heule (author), MJH Heule (author), M Jarvisalo (author), A Biere (author)

Symbiosis of Search and Heuristics for Random 3-SAT

Conference paper (2010) - S Mijnders (author), B de Wilde (author), M.J.H. Heule (author), MJH Heule (author)

Clause Elimination Procedures for CNF Formula

Conference paper (2010) - M.J.H. Heule (author), MJH Heule (author), M Jarvisalo (author), A Biere (author)

Exact DFA Identification Using SAT Solvers

Conference paper (2010) - M.J.H. Heule (author), MJH Heule (author), S.E. Verwer (author), Sicco Verwer (author)

Blocked Clause Elimination

Conference paper (2010) - M Jarvisalo (author), A Biere (author), M.J.H. Heule (author), MJH Heule (author)

Internal Symmetry

Conference paper (2010) - M.J.H. Heule (author), MJH Heule (author), T Walsh (author)

Symmetry within Solutions

Conference paper (2010) - M.J.H. Heule (author), MJH Heule (author), T Walsh (author)

Covered Clause Elimination

Conference paper (2010) - M.J.H. Heule (author), MJH Heule (author), M Järvisalo (author), A Biere (author)

Dynamic Symmetry Breaking by Simulating Zykov Contraction

Conference paper (2009) - B Schaafsma (author), M.J.H. Heule (author), MJH Heule (author), H. van Maaren (author), H van Maaren (author)

Using a satisfiability solver to identify deterministic finite state automata

Conference paper (2009) - M.J.H. Heule (author), MJH Heule (author), S.E. Verwer (author), Sicco Verwer (author)