Outer approximation for integer nonlinear programs via decision diagrams
scientific article; zbMATH DE number 7337507
scientific article