Decomposition of the Factor Encoding for CSPs

Open in new window