Automated Reencoding of Boolean Formulas.

Norbert Manthey Marijn Heule Armin Biere

Published in: Haifa Verification Conference (2012)

Keyphrases

boolean formula
linear constraints
boolean functions
search algorithm
practical problems
data structure
dynamic programming
linear programming
tabu search
unsatisfiable cores