M.J.H. Heule | TU Delft Repository

Software model synthesis using satisfiability solvers

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

Simulating Circuit-Level Simplifications on CNF

Concurrent Cube-and-Conquer

Automated Reencoding of Boolean Formulas

Inprocessing Rules

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

Reusing the Assignment Trail in CDCL Solvers

Between Restarts and Backjumps

Efficient CNF Simplification based on Binary Implication Graphs

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

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

Symmetry within Solutions

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

Clause Elimination Procedures for CNF Formula

Internal Symmetry

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

Covered Clause Elimination

Symbiosis of Search and Heuristics for Random 3-SAT

Exact DFA Identification Using SAT Solvers

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

Blocked Clause Elimination

Using a satisfiability solver to identify deterministic finite state automata

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

Look-Ahead Based SAT Solvers

Book chapter (2009) - M.J.H. Heule (author) , H. van Maaren (author)

Dynamic Symmetry Breaking by Simulating Zykov Contraction