Computation of minimal counterexamples by using black box techniques and symbolic methods.

Tobias Nopper, Christoph Scholl, Bernd Becker

Browse the full ICCAD paper archive.