A Proof Theoretic Study of Soft Concurrent Constraint Programming.

Elaine Pimentel Carlos Olarte Vivek Nigam

Published in: CoRR (2014)

Keyphrases

constraint programming
constraint logic programming
constraint propagation
combinatorial problems
integer programming
global constraints
proof theoretic
constraint solving
machine learning
constraint satisfaction problems