Login / Signup

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets.

Stefan DischChristoph Scholl
Published in: ASP-DAC (2007)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • sat problem
  • boolean optimization
  • genetic algorithm
  • np hard
  • tabu search