DDDLIB: A Library for Solving Quantified Difference Inequalities.

Jesper B. Møller

Published in: CADE (2002)

Keyphrases

sufficient conditions
database
genetic algorithm
computer vision
website
evolutionary algorithm
upper bound
combinatorial optimization
nonlinear equations