Computation of minimal counterexamples by using black box techniques and symbolic methods (2007)

by Tobias Nopper, Christoph Scholl, Bernd Becker
Venue:Proc. of the Int’l Conf. on Computer-Aided Design (ICCAD