Using Problem Symmetry in Search Based Satisfiability Algorithms.

Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton

Browse the full DATE paper archive.