A Category-Based Equational Logic Semantics to Constraint Programming.
Razvan DiaconescuPublished in: COMPASS/ADT (1995)
Keyphrases
- constraint programming
- logic programming
- combinatorial problems
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- computational properties
- search strategies
- constraint logic programming
- integer programming
- global constraints
- column generation
- finite domain
- theorem proving
- arc consistency
- search heuristics
- horn clauses
- constraint optimization
- itemset mining
- symmetry breaking
- constraint solver
- np hard problems
- hard and soft constraints
- automated reasoning
- modal logic
- logic programs
- knowledge base
- constraint networks
- answer set programming
- theorem prover
- propositional satisfiability
- deductive databases
- evolutionary algorithm
- computational complexity
- objective function
- backtrack search