Sign in

Automated Reencoding of Boolean Formulas.

Norbert MantheyMarijn HeuleArmin 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