Patrick Prosser, Evgeny Selensky. A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables. In Barry O Sullivan, editor, Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers. Volume 2627 of Lecture Notes in Computer Science, pages 121-131, Springer, 2002. [doi]
Abstract is missing.