Fast simplifications for Tarski formulas based on monomial inequalities.

Christopher W. Brown

Published in: J. Symb. Comput. (2012)

Keyphrases

sufficient conditions
mathematical formulas
linear inequalities
cutting plane algorithm
neural network
case study
database
real time
data sets
knowledge base
np hard
combinatorial optimization
facet defining inequalities
facet defining