Incremental learning approach and SAT model for Boolean matching with don't cares.

Kuo-Hua Wang, Chung-Ming Chan

Browse the full ICCAD paper archive.