Pascal Benchimol
École Polytechnique
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Pascal Benchimol.
Rairo-operations Research | 2011
Mike Benchimol; Pascal Benchimol; Benoît Chappert; Arnaud de la Taille; Fabien Laroche; Frédéric Meunier; Ludovic Robinet
This paper is motivated by operating self service transport systems that ourish nowa- days. In cities where such systems have been set up with bikes, trucks travel to maintain a suitable number of bikes per station. It is natural to study a version of the C-delivery TSP dened by Chalasani and Motwani in which, unlike their denition, C is part of the input: each vertex v of a graph G = (V;E) has a certain amount xv of a commodity and wishes to have an amount equal to yv (we assume that P v2V xv = P v2V yv and all quantities are assumed to be integers); given a vehicle of capacity C, nd a minimal route that balances all vertices, that is, that allows to have an amount yv of the commodity on each vertex v. This paper presents among other things complexity results, lower bounds, approximation algo- rithms, and a polynomial algorithm when G is a tree. Mathematics Subject Classication. ???, ???
SIAM Journal on Discrete Mathematics | 2015
Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig
We develop a tropical analogue of the simplex algorithm for linear programming. In particular, we obtain a combinatorial algorithm to perform one tropical pivoting step, including the computation of reduced costs, in
Constraints - An International Journal | 2012
Pascal Benchimol; Willem Jan van Hoeve; Jean-Charles Régin; Louis-Martin Rousseau; Michel Rueher
O(n(m+n))
European Journal of Operational Research | 2012
Pascal Benchimol; Guy Desaulniers; Jacques Desrosiers
time, where
Siam Journal on Optimization | 2014
Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig
m
integration of ai and or techniques in constraint programming | 2010
Pascal Benchimol; Jean-Charles Régin; Louis-Martin Rousseau; Michel Rueher; Willem Jan van Hoeve
is the number of constraints and
arXiv: Optimization and Control | 2018
Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig
n
arXiv: Optimization and Control | 2014
Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert; Michael Joswig
is the dimension.
international colloquium on automata, languages and programming | 2014
Xavier Allamigeon; Pascal Benchimol; Stéphane Gaubert
We study the weighted circuit constraint in the context of constraint programming. It appears as a substructure in many practical applications, particularly routing problems. We propose a domain filtering algorithm for the weighted circuit constraint that is based on the 1-tree relaxation of Held and Karp. In addition, we study domain filtering based on an additive bounding procedure that combines the 1-tree relaxation with the assignment problem relaxation. Experimental results on Traveling Salesman Problem instances demonstrate that our filtering algorithms can dramatically reduce the problem size. In particular, the search tree size and solving time can be reduced by several orders of magnitude, compared to existing constraint programming approaches. Moreover, for medium-size problem instances, our method is competitive with the state-of-the-art special-purpose TSP solver Concorde.
Les Cahiers du GERAD | 2011
Guy Desaulniers; Jacques Desrosiers; Pascal Benchimol
Dynamic constraint aggregation (DCA) and dual variable stabilization (DVS) are two methods that can reduce the negative impact of degeneracy when solving linear programs. The first uses a projection to reduce the primal space whereas the second acts in the dual space. In this paper, we develop a new method, called stabilized dynamic constraint aggregation (SDCA), that combines DCA and DVS for solving set partitioning problems. It allows to fight degeneracy from both primal and dual perspectives simultaneously. To assess the effectiveness of SDCA, we report computational results obtained for highly degenerate multi-depot vehicle scheduling problem instances solved by column generation. These results indicate that SDCA can reduce the average computational time of the master problem by a factor of up to 7 with respect to the best of the two combined methods. Furthermore, they show that its performance is robust with regard to increasing levels of degeneracy in test problems.