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

Alexandre Goldsztejn, Claude Michel, Michel Rueher

Browse the full SAC paper archive.