Incremental learning approach and SAT model for boolean matching with don’t cares | IEEE Conference Publication | IEEE Xplore