2 papers
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…
hep-ph2024
AI for Nuclear Physics: the EXCLAIM project
Simonetta Liuti, Douglas Adams, Marie Boër +8
In overview of the recent activity of the newly funded EXCLusives with AI and Machine learning (EXCLAIM) collaboration is presented. The main goal of the collaboration is to develo…