Kuo-Hua Wang, Chung-Ming Chan. Incremental learning approach and SAT model for Boolean matching with don t cares. In Georges G. E. Gielen, editor, 2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA. pages 234-239, IEEE, 2007. [doi]
@inproceedings{WangC07:29, title = {Incremental learning approach and SAT model for Boolean matching with don t cares}, author = {Kuo-Hua Wang and Chung-Ming Chan}, year = {2007}, doi = {10.1145/1326073.1326121}, url = {http://doi.acm.org/10.1145/1326073.1326121}, tags = {incremental, systematic-approach}, researchr = {https://researchr.org/publication/WangC07%3A29}, cites = {0}, citedby = {0}, pages = {234-239}, booktitle = {2007 International Conference on Computer-Aided Design (ICCAD 07), November 5-8, 2007, San Jose, CA, USA}, editor = {Georges G. E. Gielen}, publisher = {IEEE}, isbn = {1-4244-1382-6}, }