Suivre
Charles Prud'homme
Charles Prud'homme
IMT Atlantique
Adresse e-mail validée de imt-atlantique.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
282019
Explanation-based large neighborhood search
C Prud’homme, X Lorca, N Jussien
Constraints 19 (4), 339-379, 2014
202014
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
172018
Making the first solution good!
JG Fages, C Prud'Homme
2017 IEEE 29th International Conference on Tools with Artificial …, 2017
152017
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
142013
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
122015
Choco solver documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING SAS (2016)
C Prud’homme, JG Fages, X Lorca
102018
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
72014
Propagation engine prototyping with a domain specific language
C Prud’Homme, X Lorca, R Douence, N Jussien
Constraints 19 (1), 57-76, 2014
72014
Choco solver
F Laburthe, N Jussien, G Rochart, H Cambazard, C Prud’homme, ...
72010
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
62016
Choco solver user guide documentation
JG Fages, X Lorca, C Prud’homme
ChocoSolver, February, 2016
62016
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
52019
Choco Documentation, TASC-LS2N CNRS UMR 6241, Costling SAS
C Prud’Homme, JG Fages, X Lorca
52017
Combining finite and continuous solvers
JG Fages, G Chabert, C Prud'homme
arXiv preprint arXiv:1402.1361, 2014
52014
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
42013
Introduction to choco3
C Prud’homme, JG Fages
1st Workshop on CPSolvers: Modeling, Applications, Integration, and …, 2013
42013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20