Negative thinking by incremental problem solving: application to unate covering.

Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.