Value Ordering for Solving CSP Based on Preprocessing.

Bo Li, Xingjun Zhu, Changsheng Zhang, Xinhua Wang

Browse the full ICNC paper archive.