Lookahead in Smodels Compared to Local Consistencies in CSP.

Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko

Browse the full LPNMR paper archive.