Symmetric Datalog and Constraint Satisfaction Problems in Logspace.
László EgriBenoît LarosePascal TessonPublished in: LICS (2007)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- expressive power
- constraint propagation
- np complete
- constraint programming
- search space
- query answering
- deductive databases
- constraint solving
- query language
- non binary
- dl lite
- arc consistency
- np hard
- decomposition methods
- data complexity
- combinatorial problems
- constraint networks
- global constraints
- finding optimal solutions
- datalog programs
- integrity constraints
- forward checking
- logic programming
- constraint solver
- solving constraint satisfaction problems
- constraint problems
- backtracking algorithm