Library
search
Press enter to search in title/abstract
in title/abstract
in authors
local_library
Repository
AB
A Biere
View Pure Profile
Authored
9 records found
Clause Elimination Procedures for CNF Formula
Conference paper -
M.J.H. Heule
,
M Jarvisalo
,
A Biere
Automated Reencoding of Boolean Formulas
Conference paper -
N Manthey
,
M.J.H. Heule
,
A Biere
Covered Clause Elimination
Conference paper -
M.J.H. Heule
,
M Järvisalo
,
A Biere
Inprocessing Rules
Conference paper -
M Järvisalo
,
M.J.H. Heule
,
A Biere
Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads
Conference paper -
M.J.H. Heule
,
O Kullmann
,
S. Wieringa
,
A Biere
Blocked Clause Elimination
Conference paper -
M Jarvisalo
,
A Biere
,
M.J.H. Heule
Concurrent Cube-and-Conquer
Conference paper -
P van der Tak
,
M.J.H. Heule
,
A Biere
Efficient CNF Simplification based on Binary Implication Graphs
Conference paper -
M.J.H. Heule
,
M Jarvisalo
,
A Biere
Simulating Circuit-Level Simplifications on CNF
Journal article -
M Järvisalo
,
A Biere
,
M.J.H. Heule