Nombre de documents

27

CV Charlotte Truchet


Article dans une revue4 documents

  • Marie Pelleau, Charlotte Truchet, Frédéric Benhamou. The octagon abstract domain for continuous constraints. Constraints, Springer Verlag, 2014, 19 (3), pp.309--337. 〈10.1007/s10601-014-9162-x〉. 〈hal-01147912〉
  • Alejandro Arbelaez, Philippe Codognet, Charlotte Truchet. Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2013, 13 (4-5), pp.625--639. 〈10.1017/S1471068413000392〉. 〈hal-00872982〉
  • Charlotte Truchet, Philippe Codognet. Musical Constraint Satisfaction Problems Solved with Adaptive Search. Soft Computing, Springer Verlag, 2004, 8 (9), pp.633-640. 〈hal-01161219〉
  • Marc Chemillier, Charlotte Truchet. Computation of words satisfying the "rhythmic oddity property". Information Processing Letters (IPL), 2003, 0, pp.255-261. 〈hal-01105853〉

Communication dans un congrès17 documents

  • Anicet Bart, Charlotte Truchet, Eric Monfroy. Verifying a Real-Time Language with Constraints. 27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italy. 〈10.1109/ICTAI.2015.124〉. 〈hal-01234188〉
  • Bruno Belin, Marc Christie, Charlotte Truchet. Interactive Design of Sustainable Cities with a Distributed Local Search Solver. Helmut Simonis. 11th International Conference on Integration of and Techniques in Constraint Programming - CPAIOR 2014, May 2014, Cork, Ireland. Springer International Publishing, Lecture Notes in Computer Science, 8451, pp.104-119, 2014, Integration of AI and OR Techniques in Constraint Programming. 〈10.1007/978-3-319-07046-9_8〉. 〈hal-01147919〉
  • Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou. Un solveur de contraintes basé sur les domaines abstraits. 9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268, 2013. 〈hal-00925430〉
  • Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca, Charlotte Truchet. When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. Markus Nebel and Wojciech Szpankowski. Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90, 2013. 〈hal-00867576〉
  • Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou. A Constraint Solver based on Abstract Domains. Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni. VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. Springer-Verlag, 7737, pp.434--454, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-642-35873-9_26〉. 〈hal-00785604〉
  • Bruno Belin, Marc Christie, Charlotte Truchet. Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project. CompSust'12 - 3rd International Conference on Computational Sustainability, Jul 2012, Copenhagen, Denmark. 〈hal-00872981〉
  • Charlotte Truchet, Marie Pelleau, Frédéric Benhamou. Abstract Domains for Constraint Programming, with the Example of Octagons. 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2010, Timisoara, Romania. IEEE, pp.72-79, 〈10.1109/SYNASC.2010.69〉. 〈hal-01147921〉
  • Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet. Sonet Network Design Problems. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, 2009, 〈10.4204/EPTCS.5.7〉. 〈hal-00482523〉
  • Charlotte Truchet, Damien Noguès, Narendra Jussien. Un modèle markovien pour GSAT et WalkSAT résultats préliminaires. Gilles Trombettoni. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, Jun 2008, Nantes, France. pp.327-336, 2008. 〈inria-00292691〉
  • Charlotte Truchet, Marc Christie, Jean-Marie Normand. A tabu search method for interval constraints. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, May 2008, France. pp.372-376, 2008. 〈hal-00482527〉
  • Philippe Codognet, Daniel Diaz, Charlotte Truchet. The Adaptive Search Method for Constraint Solving and its application to musical CSPs. International Workshop on Heuristics, 2002, Beijing, China. 9 p., 2002. 〈hal-00668300〉
  • Marc Chemillier, Charlotte Truchet, Louis-Martin Rousseau. Analyse musicale et contraintes. JIM, 2002, NA, France. 2002. 〈hal-01105728〉
  • Charlotte Truchet, Carlos Agon, Philippe Codognet. A Constraint Programming System for Music Composition, Preliminary Results. CP 01, Workshop on Musical Constraints, 2001, NA, France. 2001. 〈hal-01105726〉
  • Charlotte Truchet, Gérard Assayag, Philippe Codognet. Visual and Adaptive Constraint Programming in Music. ICMC 01, 2001, NA, France. 2001. 〈hal-01105723〉
  • Charlotte Truchet, Carlos Agon, Gérard Assayag. Recherche adaptative et contraintes musicales. JFPLC, 2001, NA, France. 2001. 〈hal-01105724〉
  • Charlotte Truchet, Carlos Agon, Gérard Assayag, Philippe Codognet. CAO et contraintes. JIM, 2001, NA, France. 2001. 〈hal-01105725〉
  • Marc Chemillier, Charlotte Truchet. Two Musical CSPs. CP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1, 2001. 〈hal-01161429〉

Chapitre d'ouvrage3 documents

  • Charlotte Truchet, Georges Bloch. Constraints for an Unfolding Time. Constraint Programming in Music, ISTE-Wiley, pp.55-80, 2011. 〈hal-00872977〉
  • Charlotte Truchet. OMClouds, a Library for Musical Constraints. Constraint Programming in Music, ISTE-Wiley, pp.189-212, 2011. 〈hal-00872978〉
  • Charlotte Truchet. Some Constraint Satisfaction Problems in Computer Assisted Composition. epOs Music; Lluis-Puebla Emilio, Mazzola Guerino, Noll Thomas. Perspectives of Mathematical and Computer-Aided Music Theory,, 2003. 〈hal-01105854〉

Direction d'ouvrage, Proceedings, Dossier2 documents

  • Charlotte Truchet. Revue d'Intelligence Artificielle : RSTI série RIA. France. 28 (5), Hermès, pp.521-636, 2014. 〈hal-01147922〉
  • Charlotte Truchet, Gérard Assayag. Constraint Programming in Music. France. ISTE-Wiley, pp.256, 2011. 〈hal-00872976〉

Rapport1 document

  • Jérémie Du Boisberranger, Danièle Gardy, Charlotte Truchet, Xavier Lorca. A Probabilistic Study of Bound Consistency for the Alldifferent Constraint. 2011. 〈hal-00588888〉