An efficient algorithm for a sharp approximation of universally quantified inequalities.

Alexandre Goldsztejn Claude Michel Michel Rueher

Published in: SAC (2008)

Keyphrases

computational complexity
learning algorithm
search strategy
dynamic programming
simulated annealing
np hard
linear programming
combinatorial optimization