Specialising Finite Domain Programs Using Polyhedra.
Jacob M. HoweAndy KingPublished in: ECOOP Workshops (1999)
Keyphrases
- finite domain
- constraint programming
- constraint propagation
- constraint satisfaction problems
- constraint logic programming
- satisfiability problem
- constraint solving
- answer sets
- constraint solver
- constraint satisfaction
- state variables
- answer set programming
- bounded treewidth
- temporal constraints
- fixpoint
- convex sets
- knowledge base
- search strategies
- convex hull
- complex systems
- state space
- search space
- relational databases