Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation.

Viresh Paruthi Andreas Kuehlmann

Published in: ICCD (2000)

Keyphrases

sat solvers
sat solving
orders of magnitude
sat instances
boolean satisfiability
propositional satisfiability
constraint satisfaction
search strategies
max sat
constraint solver
information retrieval
heuristic search
sat problem
symmetry breaking
clause learning