Incremental SAT Instance Generation for SAT-based ATPG.

Daniel Tille Rolf Drechsler

Published in: DDECS (2008)

Keyphrases

sat solvers
sat instances
orders of magnitude
boolean satisfiability
sat problem
search space
constraint satisfaction
satisfiability problem
randomly generated
search strategies
constraint solver
max sat
computational complexity
dynamic programming
probability distribution
bounded model checking