"Combining strengths of circuit-based and CNF-based algorithms for a ..."

Malay K. Ganai et al. (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics