Dirk-Jan Jongeneel Yosinori Watanabe Robert K. Brayton Ralph H. J. M. Otten Area and search space control for technology mapping. 86-91 2000 DAC http://doi.acm.org/10.1145/337292.337321 db/conf/dac/dac2000.html#JongeneelWBO00