Chen, Huan; Marques-Silva, Joao
(IOS Press, 2012)
Automatic Test Pattern Generation (ATPG) is arguably one of the practical applications
that motivated the development of modern Boolean Satisfiability (SAT) solvers in
the mid 90s. Despite the interest of using SAT in ...