Incremental Satisfiability and Implication for UTVPI Constraints

Andreas Schutt Peter J. Stuckey

Published in: CoRR (2007)

Keyphrases

computational complexity
incremental learning
constraint satisfaction
constrained optimization
linear constraints
sat encodings
incremental version
learning algorithm
relational databases
data driven
functional dependencies
propositional logic
logical implication
xml keys