Return to Article Details Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results Download Download PDF