Exact diagnosis using boolean satisfiability.

Heinz Riener, Grschwin Fey

Browse the full ICCAD paper archive.