Applications of Boolean Satisfiability to Verification and Testing of Switch-Level Circuits.

Michele Favalli Marcello Dalpasso

Published in: J. Electron. Test. (2014)

Keyphrases

boolean satisfiability
model checking
sat solvers
branch and bound algorithm
randomly generated
probabilistic planning
simulated annealing
domain independent
sat problem
symmetry breaking
orders of magnitude
traveling salesman problem
max sat