Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton
Browse the full FMCAD paper archive.