Login / Signup
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
Rodrigo Geraldo Ribeiro
Carlos Camarão
Lucília Figueiredo
Published in:
J. Braz. Comput. Soc. (2013)
Keyphrases
</>
context dependent
computational complexity
significant improvement
optimization problems
orders of magnitude
data structure
linear constraints
machine learning
low level
np complete
convex hull
constrained minimization