Alexander Smith Andreas G. Veneris Anastasios Viglas Design diagnosis using Boolean satisfiability. 218-223 2004 conf/aspdac/2004 ASP-DAC http://doi.acm.org/10.1145/1015090.1015142 db/conf/aspdac/aspdac2004.html#SmithVV04