On the Performance of NLP Solvers Within Global MINLP Solvers.

Benjamin Müller Renke Kuhlmann Stefan Vigerske

Published in: OR (2017)

Keyphrases

sat solvers
mixed integer
global constraints
mixed integer nonlinear programming
learning algorithm
information extraction
single commodity