%0 Conference Paper %1 conf/iccad/WangC07 %A Wang, Kuo-Hua %A Chan, Chung-Ming %B ICCAD %D 2007 %E Gielen, Georges G. E. %I IEEE Computer Society %K dblp %P 234-239 %T Incremental learning approach and SAT model for Boolean matching with don't cares. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2007.html#WangC07 %@ 1-4244-1382-6

@inproceedings{conf/iccad/WangC07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wang, Kuo-Hua and Chan, Chung-Ming}, biburl = {https://www.bibsonomy.org/bibtex/29595c33a677bd74455e32dd7b9f06898/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2007}, editor = {Gielen, Georges G. E.}, ee = {https://dl.acm.org/citation.cfm?id=1326121}, interhash = {5e7d075ffddc1c7bf736ea15a32718e2}, intrahash = {9595c33a677bd74455e32dd7b9f06898}, isbn = {1-4244-1382-6}, keywords = {dblp}, pages = {234-239}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T17:54:27.000+0200}, title = {Incremental learning approach and SAT model for Boolean matching with don't cares.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2007.html#WangC07}, year = 2007 }