Path directed abstraction and refinement in SAT-based design debugging.

Brian Keng, Andreas G. Veneris

Browse the full DAC paper archive.