Closures and Modules Within Linear Logic Concurrent Constraint Programming.
Rémy HaemmerléFrançois FagesSylvain SolimanPublished in: FSTTCS (2007)
Keyphrases
- constraint programming
- linear logic
- constraint satisfaction problems
- combinatorial problems
- constraint propagation
- constraint satisfaction
- logic programming
- cut elimination
- fixed point
- logical framework
- symmetry breaking
- search strategies
- sequent calculus
- search heuristics
- desirable properties
- finite domain
- constraint solver
- hard and soft constraints
- constraint solving
- constraint logic programming
- global constraints
- arc consistency
- parallel algorithm
- propositional satisfiability
- qualitative and quantitative
- natural deduction
- search space
- machine learning