Charlotte Truchet

Experte Recherche - France - Pays de la Loire - Nantes

Informatique Intelligence artificielle

Fonction principale

Maîtresse de conférences HDR

Organisme

Université de Nantes

Ville de l’organisme

Nantes

Langues parlées

Anglais

Français

Contact pro

charlotte.truchet@univ-nantes.fr

Contact perso

email@example.com

01 23 45 67 89

Identifiez-vous pour accéder à cette information.
ou

Réseaux sociaux

Date de mise à jour

13 février 2020

Biographie

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).

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