Effective bounding techniques for solving unate and binate covering problems.

Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez

Browse the full DAC paper archive.