A Biere | TU Delft Repository

AB

A Biere

Conference paper (8)

Journal article (1)

9 records found

1

Inprocessing Rules

Conference paper (2012) - M Järvisalo (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)

Automated Reencoding of Boolean Formulas

Conference paper (2012) - N Manthey (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)

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)

Blocked Clause Elimination

Conference paper (2010) - M Jarvisalo (author), A Biere (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)

Covered Clause Elimination

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