CR-Prolog as a Specification Language for Constraint Satisfaction Problems.
Marcello BalducciniPublished in: LPNMR (2009)
Keyphrases
- specification language
- constraint satisfaction problems
- programming language
- constraint satisfaction
- constraint solving
- constraint programming
- constraint logic programming
- np complete
- logic programming
- formal specification
- constraint propagation
- description language
- search space
- combinatorial problems
- np hard
- general purpose
- object oriented
- arc consistency
- high level
- knowledge representation
- knowledge base
- constraint networks
- special case
- non binary
- soft constraints
- solving constraint satisfaction problems
- constraint solver
- forward checking
- temporal constraints
- path consistency
- constraint problems
- software engineering
- search algorithm