A General Proof System for Modalities in Concurrent Constraint Programming.
Vivek NigamCarlos OlarteElaine PimentelPublished in: CONCUR (2013)
Keyphrases
- constraint programming
- combinatorial problems
- constraint satisfaction problems
- constraint propagation
- constraint satisfaction
- global constraints
- special case
- integer programming
- column generation
- np hard problems
- search strategies
- constraint optimization
- itemset mining
- symmetry breaking
- finite domain
- hard and soft constraints
- genetic algorithm
- constraint solver
- constraint logic programming
- constraint networks
- lower bound