TY - RPRT TI - Using Pivot Consistency to Decompose and Solve Functional CSPs AU - P. David PY - 1995 UR - https://arxiv.org/abs/cs/9505101 ID - cs/9505101 ER -