collaborators

1 paper

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…