activity
20242026
most citedVerifying message-passing neural networks via topology-based bounds tightening

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

math.OC2025

A Framework for Handling and Exploiting Symmetry in Benders Decomposition

Christopher Hojny, Cédric Roy

Benders decomposition (BD) is a framework for solving optimization problems by removing some variables and modeling their contribution to the original problem via so-called Benders…