Sequential optimisation without state space exploration.

Amit Mehrotra, Shaz Qadeer, Vigyan Singhal, Robert K. Brayton, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.