3 papers
math.OC2025
Norm-induced Cuts: Outer Approximation for Lipschitzian Constraint Functions
Adrian GöÃ, Alexander Martin, Sebastian Pokutta +1
In this paper, we consider a finite-dimensional optimization problem minimizing a continuous objective on a compact domain subject to a multi-dimensional constraint function. For t…
math.OC2025
Introducing Clause Cuts: Strong No-Good Cuts for MaxSAT Problems in Mixed Integer Linear Programming
Max Engelhardt, Milan Adhikari, Jonasz Staszek +1
In this paper we introduce Clause Cuts: linear inequalities obtained from clauses that are logically implied by a CNF formula, resembling strengthened no-good cuts. With these cuts…
math.OC2025
Parabolic Approximation & Relaxation for MINLP
Adrian GöÃ, Robert Burlacu, Alexander Martin
We propose an approach based on quadratic approximations for solving general Mixed-Integer Nonlinear Programming (MINLP) problems. Specifically, our approach entails the global app…