Lookahead in Smodels Compared to Local Consistencies in CSP

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_21 ◽

2005 ◽

pp. 266-278 ◽

Author(s):

Jia-Huai You ◽

Guohua Liu ◽

Li Yan Yuan ◽

Curtis Onuczko

Download Full-text