| Choco solver documentation C Prud’homme, JG Fages, X Lorca TASC, INRIA Rennes, LINA CNRS UMR 6241, 13-42, 2016 | 346* | 2016 |
| Service placement in fog computing using constraint programming FA Salaht, F Desprez, A Lebre, C Prud'Homme, M Abderrahim 2019 IEEE International Conference on Services Computing (SCC), 19-27, 2019 | 28 | 2019 |
| Explanation-based large neighborhood search C Prud’homme, X Lorca, N Jussien Constraints 19 (4), 339-379, 2014 | 20 | 2014 |
| Come4acloud: An end-to-end framework for autonomic cloud systems Z Al-Shara, F Alvares, H Bruneliere, J Lejeune, C Prud’Homme, T Ledoux Future Generation Computer Systems 86, 339-354, 2018 | 17 | 2018 |
| Making the first solution good! JG Fages, C Prud'Homme 2017 IEEE 29th International Conference on Tools with Artificial …, 2017 | 15 | 2017 |
| An introduction to choco 3.0 an open source java constraint programming library C Prud’homme, JG Fages CP Solvers: Modeling, Applications, Integration, and Standardization …, 2013 | 14 | 2013 |
| A global constraint for a tractable class of temporal optimization problems A Derrien, JG Fages, T Petit, C Prud’Homme International Conference on Principles and Practice of Constraint …, 2015 | 12 | 2015 |
| Choco solver documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING SAS (2016) C Prud’homme, JG Fages, X Lorca | 10 | 2018 |
| Choco Documentation, 2017 C Prud’homme, JG Fages, X Lorca URL: http://www. choco-solver. org, 0 | 8 | |
| Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING SAS C Prud’homme, JG Fages, X Lorca | 7 | 2014 |
| Propagation engine prototyping with a domain specific language C Prud’Homme, X Lorca, R Douence, N Jussien Constraints 19 (1), 57-76, 2014 | 7 | 2014 |
| Choco solver F Laburthe, N Jussien, G Rochart, H Cambazard, C Prud’homme, ... | 7 | 2010 |
| Using constraint programming for the urban transit crew rescheduling problem X Lorca, C Prud’Homme, A Questel, B Rottembourg International Conference on Principles and Practice of Constraint …, 2016 | 6 | 2016 |
| Choco solver user guide documentation JG Fages, X Lorca, C Prud’homme ChocoSolver, February, 2016 | 6 | 2016 |
| Skinny with scalpel-comparing tools for differential analysis S Delaune, P Derbez, P Huynh, M Minier, V Mollimard, C Prud'Homme Cryptology ePrint Archive, 2020 | 5* | 2020 |
| Choco Solver C Prud’homme, JG Fages, X Lorca Website, March, 2019 | 5 | 2019 |
| Choco Documentation, TASC-LS2N CNRS UMR 6241, Costling SAS C Prud’Homme, JG Fages, X Lorca | 5 | 2017 |
| Combining finite and continuous solvers JG Fages, G Chabert, C Prud'homme arXiv preprint arXiv:1402.1361, 2014 | 5 | 2014 |
| Combining finite and continuous solvers Towards a simpler solver maintenance JG Fages, G Chabert, C Prud'Homme The 19th International Conference on Principles and Practice of Constraint …, 2013 | 4 | 2013 |
| Introduction to choco3 C Prud’homme, JG Fages 1st Workshop on CPSolvers: Modeling, Applications, Integration, and …, 2013 | 4 | 2013 |
jean-guillaume FAGESCOSLINGVerified email at cosling.com
