M.J.H. Heule | TU Delft Repository

Symmetry in gardens of Eden

Software model synthesis using satisfiability solvers

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

Concurrent Cube-and-Conquer

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

Inprocessing Rules

Simulating Circuit-Level Simplifications on CNF

Automated Reencoding of Boolean Formulas

Efficient CNF Simplification based on Binary Implication Graphs

Reusing the Assignment Trail in CDCL Solvers

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

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

Between Restarts and Backjumps

Symmetry within Solutions

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

Clause Elimination Procedures for CNF Formula

Covered Clause Elimination

Exact DFA Identification Using SAT Solvers

Conference paper (2010) - MJH Heule (author) , SE Verwer (author)

Symbiosis of Search and Heuristics for Random 3-SAT

Blocked Clause Elimination

Internal Symmetry

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

Dynamic Symmetry Breaking by Simulating Zykov Contraction

Using a satisfiability solver to identify deterministic finite state automata

Conference paper (2009) - MJH Heule (author) , SE Verwer (author)