Choco solver documentation C Prud’homme, JG Fages, X Lorca TASC, INRIA Rennes, LINA CNRS UMR 6241, 13-42, 2016 | 431* | 2016 |
Choco-solver C Prud’homme, JG Fages Journal of Open Source Software 7 (78), 4708, 2022 | 68 | 2022 |
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 | 58 | 2019 |
Making the first solution good! JG Fages, C Prud'Homme 2017 IEEE 29th International Conference on Tools with Artificial …, 2017 | 32 | 2017 |
Explanation-based large neighborhood search C Prud’homme, X Lorca, N Jussien Constraints 19 (4), 339-379, 2014 | 28 | 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 | 25 | 2018 |
Efficient methods to search for best differential characteristics on SKINNY S Delaune, P Derbez, P Huynh, M Minier, V Mollimard, C Prud’Homme International Conference on Applied Cryptography and Network Security, 184-207, 2021 | 20* | 2021 |
Propagation engine prototyping with a domain specific language C Prud’Homme, X Lorca, R Douence, N Jussien Constraints 19 (1), 57-76, 2014 | 17 | 2014 |
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 | 15 | 2013 |
Choco documentation (2017) C Prud’homme, JG Fages, X Lorca URL: http://www. choco-solver. org, 2023 | 13 | 2023 |
Choco Solver Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING SAS (2016) C Prud’homme, JG Fages, X Lorca | 13 | 2018 |
A simpler model for recovering superpoly on trivium S Delaune, P Derbez, A Gontier, C Prud’Homme International Conference on Selected Areas in Cryptography, 266-285, 2021 | 11 | 2021 |
A global constraint for a tractable class of temporal optimization problems A Derrien, JG Fages, T Petit, C Prud’Homme Principles and Practice of Constraint Programming: 21st International …, 2015 | 10 | 2015 |
Guiding backtrack search by tracking variables during constraint propagation G Audemard, C Lecoutre, C Prud'Homme International Conference on Principles and Practice of Constraint …, 2023 | 9 | 2023 |
Solution sampling with random table constraints M Vavrille, C Truchet, C Prud’homme Constraints 27 (4), 381-413, 2022 | 9 | 2022 |
Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING SAS C Prud’homme, JG Fages, X Lorca | 9 | 2016 |
Using constraint programming for the urban transit crew rescheduling problem X Lorca, C Prud’Homme, A Questel, B Rottembourg Principles and Practice of Constraint Programming: 22nd International …, 2016 | 8 | 2016 |
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 | 8 | 2013 |
Using constraint programming to address the operational aircraft line maintenance scheduling problem JB Sciau, A Goyon, A Sarazin, J Bascans, C Prud’homme, X Lorca Journal of Air Transport Management 115, 102537, 2024 | 7 | 2024 |
Efficient resource allocation for multi-tenant monitoring of edge infrastructures M Abderrahim, M Ouzzif, K Guillouard, J François, A Lebre, ... 2019 27th Euromicro International Conference on Parallel, Distributed and …, 2019 | 7 | 2019 |