"Using Problem Symmetry in Search Based Satisfiability Algorithms."

Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics