Symmetric Datalog and Constraint Satisfaction Problems in Logspace.
László EgriBenoît LarosePascal TessonPublished in: Electron. Colloquium Comput. Complex. (2007)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- expressive power
- constraint programming
- np complete
- query answering
- search space
- constraint propagation
- deductive databases
- dl lite
- np hard
- constraint networks
- logic programming
- non binary
- constraint solving
- datalog programs
- forward checking
- arc consistency
- data complexity
- reasoning problems
- description logics
- query language
- sat problem
- constraint problems
- symmetry breaking
- constraint solver
- integrity constraints
- backtracking search
- dynamic constraint satisfaction problems
- solving constraint satisfaction problems
- data exchange
- decomposition methods
- path consistency
- soft constraints
- global constraints
- temporal constraints