"On Using Satisfiability-Based Pruning Techniques in Covering Algorithms."

Vasco M. Manquinho, João P. Marques Silva (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics