Vivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes
Browse the full ICCAD paper archive.