An Efficient Diagnostic Test Pattern Generation Framework Using Boolean Satisfiability
Keyword(s):
2007 ◽
Vol 26
(5)
◽
pp. 932-942
Keyword(s):
1992 ◽
Vol 11
(1)
◽
pp. 4-15
◽
2012 ◽
Vol 6
(3)
◽
pp. 186
◽
Keyword(s):