Identification of soft error glitch-propagation paths: Leveraging SAT solvers.

Ghaith Bany Hamad Otmane Aït Mohamed Syed Rafay Hasan Yvon Savaria

Published in: ISCAS (2012)

Keyphrases

sat solvers
orders of magnitude
propositional satisfiability
max sat
constraint satisfaction
sat solving
boolean satisfiability
search tree
search space
search strategies
sat problem
sat instances
weighted max sat
boolean formula
objective function
branch and bound
clause learning sat solvers