Conference paper
Fast-extract with cube hashing
Bruno O. Schmitt De, Alan Mishchenko, et al.
ASP-DAC 2017
Bruno O. Schmitt De, Alan Mishchenko, et al.
ASP-DAC 2017
Robert K. Brayton, Stephen W. Director
IEEE Transactions on Circuits and Systems
Robert K. Brayton, Stephen W. Director, et al.
IEEE Transactions on Circuits and Systems
Michael L. Case, Victor N. Kravets, et al.
DAC 2008