"Symmetry and Satisfiability: An Update."

Hadi Katebi, Karem A. Sakallah, Igor L. Markov (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics