Charlotte Truchet est maîtresse de conférences en informatique à l'université de Nantes depuis 2005. Ses travaux portent sur la programmation par contraintes et l’optimisation combinatoire, notamment pour des domaines d’applications hors de l’informatique (composition musicale, urbanisme, chimie).

Contact pro

charlotte.truchet@univ-nantes.fr

Contact perso

email@example.com

06 12 34 56 78

Vous devez être connecté-e pour avoir accès cette information.
ou

Publications

  • Truchet C., Pelleau M., Benhamou F. The octagon abstract domain for continuous constraints Constraints, 19 (3), 2014, p. 309-337
  • Arbelaez A., Codognet P., Truchet C. Using sequential runtime distributions for the parallel speedup prediction of SAT local search Theory and Practice of Logic Programming, 13 (4-5), 2013, p. 625-639
  • Truchet C., Codognet P. Solving Musical Constraints with Adaptive Search Soft Computing, vol. 8, numéro 9, p. 633-640, septembre 2004