Design diagnosis using Boolean satisfiability.

Alexander Smith Andreas G. Veneris Anastasios Viglas

Published in: ASP-DAC (2004)

Keyphrases

boolean satisfiability
cellular automata
constraint satisfaction
sat solvers
integer linear programming
symmetry breaking