Simulation Based Minimization.

Doron Bustan, Orna Grumberg

Browse the full CADE paper archive.