%0 Conference Paper %1 conf/dac/LaiJW10 %A Lai, Chih-Fan %A Jiang, Jie-Hong R. %A Wang, Kuo-Hua %B DAC %D 2010 %E Sapatnekar, Sachin S. %I ACM %K dblp %P 499-504 %T BooM: a decision procedure for boolean matching with abstraction and dynamic learning. %U http://dblp.uni-trier.de/db/conf/dac/dac2010.html#LaiJW10 %@ 978-1-4503-0002-5

@inproceedings{conf/dac/LaiJW10, added-at = {2018-11-06T00:00:00.000+0100}, author = {Lai, Chih-Fan and Jiang, Jie-Hong R. and Wang, Kuo-Hua}, biburl = {https://www.bibsonomy.org/bibtex/25de23c31efe428184f4a71af88591c05/dblp}, booktitle = {DAC}, crossref = {conf/dac/2010}, editor = {Sapatnekar, Sachin S.}, ee = {https://doi.org/10.1145/1837274.1837398}, interhash = {89be290ff60ee15db4828214a4b4112d}, intrahash = {5de23c31efe428184f4a71af88591c05}, isbn = {978-1-4503-0002-5}, keywords = {dblp}, pages = {499-504}, publisher = {ACM}, timestamp = {2018-11-07T15:14:03.000+0100}, title = {BooM: a decision procedure for boolean matching with abstraction and dynamic learning.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2010.html#LaiJW10}, year = 2010 }