**2017**

Boosting cumulative propagations with cumulative strengthening

Bonifas, Nicolas and Bousseta, Reda

Abstract

Bonifas, Nicolas and Bousseta, Reda

*ROADEF*, 2017Abstract

Redundant cumulative constraints to compute preemptive bounds

Baptiste, Philippe and Bonifas, Nicolas

Abstract

Baptiste, Philippe and Bonifas, Nicolas

*Discrete Applied Mathematics*, Elsevier, 2017Abstract

**2016**

**2015**

Short paths on the Voronoi graph and closest vector problem with preprocessing

Daniel Dadush, Nicolas Bonifas

Daniel Dadush, Nicolas Bonifas

*Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms*,*pp. 295--314*, 2015**2014**

Fast propagation for the Energy Reasoning

Nicolas Bonifas

Nicolas Bonifas

*Doctoral Program of the 20th International Conference on Principles and Practice of Constraint Programming (CP)*,*pp. 16--22*, 2014
On sub-determinants and the diameter of polyhedra

Nicolas Bonifas, Marco Di Summa, Friedrich Eisenbrand, Nicolai Haehnle, Martin Niemeier

Nicolas Bonifas, Marco Di Summa, Friedrich Eisenbrand, Nicolai Haehnle, Martin Niemeier

*Discrete & Computational Geometry**52*(*1*), 102--115, Springer, 2014
Nouvelles bornes pour le RCPSP par reformulation de ressources cumulatives

Nicolas Bonifas, Philippe Baptiste

Nicolas Bonifas, Philippe Baptiste

*ROADEF*, 2014