TY - RPRT TI - Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Results AU - N. Samaras AU - K. Stergiou PY - 2011 DO - 10.1613/jair.1776 UR - https://arxiv.org/abs/1109.5714 ID - 1109.5714 ER -