Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs.

Daniel Tille, Stephan Eggersgl, Rene Krenz-Baath, Jrgen Schlffel, Rolf Drechsler

Browse the full ETS paper archive.