2 citations · 2 across the 5 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.OC2024
Computational Aspects of Lifted Cover Inequalities for Knapsacks with Few Different Weights
Christopher Hojny, Cédric Roy
Cutting planes are frequently used for solving integer programs. A common strategy is to derive cutting planes from building blocks or a substructure of the integer program. In thi…
math.OC2024★ 2 cited
Verifying message-passing neural networks via topology-based bounds tightening
Christopher Hojny, Shiqiang Zhang, Juan S. Campos +1
Since graph neural networks (GNNs) are often vulnerable to attack, we need to know when we can trust them. We develop a computationally effective approach towards providing robust…