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

5 papers

cs.IT2026

Capacity of Non-Separable Networks with Restricted Adversaries

Christopher Hojny, Altan B. Kılıç, Sascha Kurz +1

This paper investigates the problem of single-source multicasting over a communication network in the presence of restricted adversaries. When the adversary is constrained to opera…

math.OC2026

Branch-and-price strikes back for the k-vertex cut problem

Fabio Ciccarelli, Fabio Furini, Christopher Hojny +1

Given an undirected graph, the k-vertex cut problem (k-VCP) asks for a minimum-cost set of vertices whose removal yields at least k connected components in the resulting graph. The…

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…

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…