Automatic Reformulation Search
(ARS)
Analyse Statique et Optimisation
(ASOPT)
Preuve, Analyse Statique et Optimisation
(PASO)
Reformulation Methods in Non-Convex and Combinatorial Optimization
(RMNCCO)
Automatic Reformulation Methods
(ARM)
| Some funded projects |
|
|
|---|---|---|
|
ANR 07-JCJC-0151: Automatic Reformulation Search (ARS) |
2007-2010 | Formal treatment of reformulations in mathematical programming; elementary and advances reformulations |
|
ANR 08-SEGI-023: Analyse Statique et Optimisation (ASOPT) |
2008-2011 | Optimization techniques for static analysis by abstract interpretation |
|
Digiteo Emergence: Preuve, Analyse Statique et Optimisation (PASO) |
2008-2010 | Optimization methods in static analysis and automated theorem proving |
|
Digiteo Chair: Reformulation Methods in Non-Convex and Combinatorial Optimization (RMNCCO) |
2009-2013 | Reformulation based methods in mathematical programming with applications |
|
Digiteo Emergence: Automatic Reformulation Methods (ARM) |
2009-2012 | Reformulation methods in mixed-integer nonlinear programs |