SMT for Polynomial Constraints on Real Numbers.

To Van Khanh Mizuhito Ogawa

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

real numbers
interval arithmetic
constraint solver
linear inequalities
quantifier free
fuzzy numbers
constraint propagation
ordered fuzzy numbers
artificial neural networks
probabilistic model
information extraction
constraint satisfaction
geometric constraints
global constraints
statistical machine translation