Alfredo Cruz. PLAtestGA: A CNF-Satisfiability Problem for the Generation of Test Vectors for Missing Faults in VLSI Circuits. In Zbigniew W. Ras, Setsuo Ohsuga, editors, Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings. Volume 1932 of Lecture Notes in Computer Science, pages 186-195, Springer, 2000. [doi]
Abstract is missing.