Post-silicon fault localisation using maximum satisfiability and backbones.

Charlie Shucheng Zhu Georg Weissenbacher Sharad Malik

Published in: FMCAD (2011)

Keyphrases

maximum satisfiability
boolean satisfiability
max sat
combinatorial problems
sat problem
lower bound
search algorithm
constraint satisfaction problems
branch and bound algorithm
genetic algorithm
domain independent
constraint programming
symmetry breaking