Follow
Charles Prud'homme
Charles Prud'homme
IMT Atlantique
Verified email at imt-atlantique.fr - Homepage
Title
Cited by
Cited by
Year
Choco solver documentation
C Prud’homme, JG Fages, X Lorca
TASC, INRIA Rennes, LINA CNRS UMR 6241, 13-42, 2016
419*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
462019
Choco-solver
C Prud’homme, JG Fages
Journal of Open Source Software 7 (78), 4708, 2022
302022
Making the first solution good!
JG Fages, C Prud'Homme
2017 IEEE 29th International Conference on Tools with Artificialá…, 2017
262017
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
242018
Explanation-based large neighborhood search
C Prud’homme, X Lorca, N Jussien
Constraints 19 (4), 339-379, 2014
242014
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
17*2021
Propagation engine prototyping with a domain specific language
C Prud’Homme, X Lorca, R Douence, N Jussien
Constraints 19 (1), 57-76, 2014
172014
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
162013
Choco Solver Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING SAS (2016)
C Prud’homme, JG Fages, X Lorca
132018
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
122015
Choco Documentation, 2017
C Prud’homme, JG Fages, X Lorca
URL: http://www. choco-solver. org, 2023
112023
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
112021
Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING SAS
C Prud’homme, JG Fages, X Lorca
92016
Choco solver
C Prud’homme, JG Fages, X Lorca
Website, March, 2019
82019
Choco 4 Documentation. TASC-LS2N CNRS UMR 6241, COSLING SAS
C Prud’homme, JG Fages, X Lorca
TASC-LS2N CNRS UMR 6241 COSLING SAS, 2017
82017
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
82016
Solution sampling with random table constraints
M Vavrille, C Truchet, C Prud’homme
Constraints 27 (4), 381-413, 2022
72022
Choco solver user guide documentation
JG Fages, X Lorca, C Prud’homme
URL: https://choco-solver. readthedocs. io/en/latest, 2016
72016
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
72013
The system can't perform the operation now. Try again later.
Articles 1–20