Charlotte Truchet

Experte Recherche - France - Pays de la Loire - Nantes

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