Efficient handling of universally quantified inequalities.

Published in: Constraints An Int. J. (2009)

Keyphrases