A Biere | TU Delft Repository

Library

local_library Home 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) , A Biere (author)

Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

Conference paper (2012) - MJH Heule (author) , O Kullmann (author) , S. Wieringa (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)

Automated Reencoding of Boolean Formulas

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

Concurrent Cube-and-Conquer

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

Efficient CNF Simplification based on Binary Implication Graphs

Conference paper (2011) - M.J.H. 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)

Covered Clause Elimination

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

Clause Elimination Procedures for CNF Formula

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