A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Elaine Pimentel Carlos Olarte Vivek Nigam

Published in: Theory Pract. Log. Program. (2014)

Keyphrases

constraint programming
constraint propagation
combinatorial problems
constraint satisfaction problems
constraint logic programming
proof theoretic
constraint satisfaction
integer programming
decision problems
search strategies
constraint solving