1 citations · 1 across the 6 of their papers we have counts for
7 papers
Fast SDP certification of neural networks : towards large multi-class datasets
Margot Boyer, Clément Rambour, Zacharie Alès +1
We present a new quadratic model for the certification problem in adversarial robustness, which simultaneously accounts for all possible target classes. Building on this model, we…
Planning in Branch-and-Bound: Model-Based Reinforcement Learning for Exact Combinatorial Optimization
Paul Strang, Zacharie Alès, Côme Bissuel +3
Mixed-Integer Linear Programming (MILP) lies at the core of many real-world combinatorial optimization (CO) problems, traditionally solved by branch-and-bound (B&B). A key driver i…
A Markov Decision Process for Variable Selection in Branch & Bound
Paul Strang, Zacharie Alès, Côme Bissuel +3
Mixed-Integer Linear Programming (MILP) is a powerful framework used to address a wide range of NP-hard combinatorial optimization problems, often solved by Branch and Bound (B&B).…
Influence branching for learning to solve mixed-integer programs online
Paul Strang, Zacharie Alès, Côme Bissuel +3
On the occasion of the 20th Mixed Integer Program Workshop's computational competition, this work introduces a new approach for learning to solve MIPs online. Influence branching,…
A rounding and clustering-based exact algorithm for the p-center problem
Zacharie Ales, Cristian Duran-Matelunaa, Sourour Elloumi
The p-center problem consists in selecting p facilities from a set of possible sites and allocating a set of clients to them in such a way that the maximum distance between a clien…
A solution robustness approach applied to network optimization problems
Zacharie Ales, Sourour Elloumi
Solution robustness focuses on structural similarities between the nominal solution and the scenario solutions. Most other robust optimization approaches focus on the quality robus…