Amr A. R. Sayed-Ahmed, Daniel Groe, Mathias Soeken, Rolf Drechsler
Browse the full FMCAD paper archive.