How to Use Symmetries in Boolean Constraint Solving.

Alfonso San Miguel Aguirre How to Use Symmetries in Boolean Constraint Solving. 287-306 1991 WCLP db/conf/wclp/wclp91.html#Aguirre91