JBernstein: A Validity Checker for Generalized Polynomial Constraints.

Chih-Hong Cheng Harald Ruess Natarajan Shankar

Published in: CAV (2013)

Keyphrases

constraint satisfaction
constraint programming
linear constraints
databases
information retrieval
linear program
mixed integer
neural network
database systems
bayesian networks
geometric constraints
global constraints
low order