Lookahead in Smodels Compared to Local Consistencies in CSP.

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

Published in: LPNMR (2005)

Keyphrases

constraint satisfaction problems
database
significant improvement
logic programs
logic programming
data sets
optimal solution
search algorithm
data model
answer set programming