Relational Constraint Solving in SMT.

Baoluo Meng Andrew Reynolds Cesare Tinelli Clark W. Barrett

Published in: CADE (2017)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
relational databases
relational data
data model
statistical machine translation
relational learning
finite domain
knowledge base
tree search