PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits.

Alfredo Cruz PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits. 186-195 http://link.springer.de/link/service/series/0558/bibs/1932/19320186.htm 2000 conf/ismis/2000 ISMIS db/conf/ismis/ismis2000.html#Cruz00