Number of documents

36

CV Charlotte Truchet


Journal articles7 documents

  • Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, et al.. Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science, Elsevier, 2018, 747, pp.48 - 74. ⟨10.1016/j.tcs.2018.06.016⟩. ⟨hal-01917092⟩
  • Daniel Cortés-Borda, Eric Wimmer, Boris Gouilleux, Elvina Barré, Nicolas Oger, et al.. An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone. Journal of Organic Chemistry, American Chemical Society, 2018, 83 (23), pp.14286-14299. ⟨hal-01980485⟩
  • Daniel Cortes-Borda, Ksenia V. Kutonova, Corentin Jamet, Marina E. Trusova, Francoise Zammattio, et al.. Optimizing the Heck-Matsuda Reaction in Flow with a Constraint-Adapted Direct Search Algorithm. Organic Process Research and Development, American Chemical Society, 2016, 20 (11), pp.1979-1987. ⟨10.1021/acs.oprd.6b00310⟩. ⟨hal-02141343⟩
  • 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, Elsevier, 2003, 0, pp.255-261. ⟨hal-01105853⟩

Conference papers22 documents

  • Pierre Talbot, David Cachera, Eric Monfroy, Charlotte Truchet. Octogones entiers pour le problème RCPSP. JFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10. ⟨hal-02157804⟩
  • Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet. Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots. JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141. ⟨hal-02160312⟩
  • Giovanni Lo Bianco, Charlotte Truchet, Xavier Lorca, Vlady Ravelomanana. A Probabilistic Model to Count Solutions on the alldifferent Constraint. CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p. ⟨hal-01923767⟩
  • Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné. Finding solutions by finding inconsistencies. CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.1-16. ⟨hal-01885769⟩
  • Alejandro Arbelaez, Charlotte Truchet, Barry O'Sullivan. Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. ICTAI'16 - 28th International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, United States. ⟨hal-01980502⟩
  • 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. 11th International Conference on Integration of and Techniques in Constraint Programming - CPAIOR 2014, May 2014, Cork, Ireland. pp.104-119, ⟨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. ⟨hal-00925430⟩
  • Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou. A Constraint Solver based on Abstract Domains. VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩. ⟨hal-00785604⟩
  • 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. Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90. ⟨hal-00867576⟩
  • 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. 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, ⟨10.4204/EPTCS.5.7⟩. ⟨hal-00482523⟩
  • 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. ⟨hal-00482527⟩
  • Charlotte Truchet, Damien Noguès, Narendra Jussien. Un modèle markovien pour GSAT et WalkSAT résultats préliminaires. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.327-336. ⟨inria-00292691⟩
  • Marc Chemillier, Charlotte Truchet, Louis-Martin Rousseau. Analyse musicale et contraintes. JIM, 2002, NA, France. ⟨hal-01105728⟩
  • 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. ⟨hal-00668300⟩
  • Charlotte Truchet, Carlos Agon, Philippe Codognet. A Constraint Programming System for Music Composition, Preliminary Results. CP 01, Workshop on Musical Constraints, 2001, NA, France. ⟨hal-01105726⟩
  • Charlotte Truchet, Carlos Agon, Gérard Assayag. Recherche adaptative et contraintes musicales. JFPLC, 2001, NA, France. ⟨hal-01105724⟩
  • Charlotte Truchet, Carlos Agon, Gérard Assayag, Philippe Codognet. CAO et contraintes. JIM, 2001, NA, France. ⟨hal-01105725⟩
  • Charlotte Truchet, Gérard Assayag, Philippe Codognet. Visual and Adaptive Constraint Programming in Music. ICMC 01, 2001, NA, France. ⟨hal-01105723⟩
  • Marc Chemillier, Charlotte Truchet. Two Musical CSPs. CP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1. ⟨hal-01161429⟩

Book sections3 documents

  • Charlotte Truchet. OMClouds, a Library for Musical Constraints. Constraint Programming in Music, ISTE-Wiley, pp.189-212, 2011. ⟨hal-00872978⟩
  • Charlotte Truchet, Georges Bloch. Constraints for an Unfolding Time. Constraint Programming in Music, ISTE-Wiley, pp.55-80, 2011. ⟨hal-00872977⟩
  • 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⟩

Directions of work or proceedings2 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⟩

Reports2 documents

  • Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, et al.. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I). [Autre] CNRS. 2018, pp.1-87. ⟨hal-01956087⟩
  • 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⟩