"Search-Based SAT Using Zero-Suppressed BDDs."

Fadi A. Aloul, Maher N. Mneimneh, Karem A. Sakallah (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics