Uwe Hinsberger Reiner Kolla Boolean Matching for Large Libraries. 206-211 1998 DAC http://doi.acm.org/10.1145/277044.277100 db/conf/dac/dac98.html#HinsbergerK98