Incremental Satisfiability and Implication for UTVPI Constraints.

Andreas Schutt Peter J. Stuckey

Published in: INFORMS J. Comput. (2010)

Keyphrases

satisfiability problem
sat encodings
computational complexity
constraint satisfaction
constrained optimization
data sets
neural network
knowledge representation
linear constraints
computational properties