Login / Signup
Test pattern generation using Boolean satisfiability.
Tracy Larrabee
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1992)
Keyphrases
</>
boolean formula
boolean satisfiability
sat solvers
np complete
sat solving
boolean optimization
maximum satisfiability
max sat
sat problem
search space
propositional satisfiability
computational complexity
randomly generated
sat instances