Incremental Search in Constraint Logic Programming.

Pascal Van Hentenryck Thierry Le Provost

Published in: New Gener. Comput. (1991)

Keyphrases

constraint logic programming
constraint solving
search algorithm
logic programming language
search strategies
constrained search
constraint solver
search methods
logic programming
search strategy
temporal reasoning
answer set programming
search space
proof theoretic
data mining
constraint programming