Cover Algorithms and Their Combination.

Sumit Gulwani, Madan Musuvathi

Browse the full ESOP paper archive.