Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.

Peter J. Stuckey Vincent W. L. Tam

Published in: PLILP (1996)

Keyphrases

constraint logic programming
constraint solving
constraint programming
constraint solver
answer set programming
constraint propagation
constraint solvers
objective function
lower bound
constraint satisfaction
temporal information
logic programming language