A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming.
Simone TiniAndrea Maggiolo-SchettiniPublished in: ECOOP Workshops (1999)
Keyphrases
- constraint programming
- combinatorial problems
- constraint satisfaction problems
- constraint propagation
- integer programming
- column generation
- constraint satisfaction
- global constraints
- petri net
- constraint optimization
- constraint logic programming
- symmetry breaking
- itemset mining
- arc consistency
- constraint solving
- search strategies
- np hard problems
- default rules
- branch and bound algorithm
- propositional satisfiability
- np hard
- objective function