Proof certificates and non-linear arithmetic constraints.

Stefan Kupferschmid Bernd Becker Tino Teige Martin Fränzle

Published in: DDECS (2011)

Keyphrases

arithmetic constraints
constraint satisfaction problems
arc consistency
relational calculus
constraint programming
lower bound
query language
data storage
constraint propagation
multiple attributes