C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Integrating Datalog and Constraint Solving.
Benoit Desouter
Tom Schrijvers
Published in:
CoRR (2013)
Keyphrases
</>
constraint solving
constraint logic programming
constraint propagation
constraint satisfaction
constraint solver
expressive power
constraint satisfaction problems
constraint programming
query answering
deductive databases
logic programming
search algorithm
query language
datalog programs
data complexity