CV Charlotte Truchet

Pierre Talbot, Éric Monfroy, Charlotte Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2020, 20 (6), pp.848-863. ⟨10.1017/S1471068420000162⟩. ⟨hal-02945920⟩

Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet, Gilles Pesant. Revisiting Counting Solutions for the Global Cardinality Constraint. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 66, pp.411-441. ⟨10.1613/jair.1.11325⟩. ⟨hal-02276554⟩

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. ⟨10.1021/acs.joc.8b01821⟩. ⟨hal-01980485⟩

Anicet Bart, Charlotte Truchet, Eric Monfroy. A global constraint for over-approximation of real-time streams. Constraints, Springer Verlag, 2017, 22 (3), pp.463 - 490. ⟨10.1007/s10601-017-9268-z⟩. ⟨hal-01555777⟩

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⟩

Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet. Estimating parallel runtimes for randomized algorithms in constraint solving. Journal of Heuristics, Springer Verlag, 2015, pp.1-36. ⟨10.1007/s10732-015-9292-3⟩. ⟨hal-01248168⟩

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, 86, pp.255-261. ⟨hal-01105853⟩

Arthur Gontier, Charlotte Truchet, Charles Prud'Homme. Conflict analysis in CP solving: Explanation generation from constraint decomposition. CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium. ⟨hal-03179630⟩

Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet. Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions. CP 2019-25th International Conference on Principles and Practice of Constraint Programming, Sep 2019, Stamford, United States. p. 317-332, ⟨10.1007/978-3-030-30048-7_19⟩. ⟨hal-02276566⟩

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⟩

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⟩

Pierre Talbot, David Cachera, Eric Monfroy, Charlotte Truchet. Combining Constraint Languages via Abstract Interpretation. 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩. ⟨hal-02945596⟩

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet. Combination of Boxes and Polyhedra Abstractions for Constraint Solving. The 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal. ⟨hal-02457083⟩

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⟩

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é. Améliorer la propagation : l'Importance d'être Inconsistant. Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France. ⟨hal-01735167⟩

Anicet Bart, Benoit Delahaye, Eric Monfroy, Charlotte Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France. ⟨hal-01555755⟩

Anicet Bart, Benoit Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. 14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩. ⟨hal-01591036⟩

Anicet Bart, Charlotte Truchet, Eric Monfroy. Contraintes sur des flux appliquées a la vérification de programmes audio. Onzièmes Journées Francophones de Programmation par Contraintes, Jun 2016, Bordeaux, France. ⟨hal-01234179⟩

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⟩

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⟩

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⟩

Charlotte Truchet, Florian Richoux, Philippe Codognet. Prediction of Parallel Speed-ups for Las Vegas Algorithms. 42nd International Conference on Parallel Processing, 2013, Lyon, France. pp.160-169, ⟨10.1109/ICPP.2013.25⟩. ⟨hal-00870979⟩

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⟩

Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet. Estimating the Runtime of Parallel SAT Local Search (Extended Abstract). Metaheuristics International Conference (MIC 2013), Aug 2013, Singapore, Singapore. ⟨hal-00850975⟩

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⟩

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou. Octagonal Domains for Continuous Constraints. 17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720. ⟨hal-00785598⟩

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⟩

Nicolas Beldiceanu, Mats Carlsson, Mohammed Sbihi, Charlotte Truchet, Stéphane Zampelli, et al.. Six Ways of Integrating Symmetries within Non-Overlapping Constraints. 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), 2009, United States. pp.11-25, ⟨10.1007/978-3-642-01929-6_3⟩. ⟨hal-00481521⟩

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⟩

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⟩

Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, Rida Sadek, Charlotte Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. 13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, United States. pp.180-194. ⟨hal-00481558⟩

Marc Christie, Jean-Marie Normand, Charlotte Truchet. Calcul d'approximations intérieures pour la résolution de Max-NCSP. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France. ⟨inria-00085801⟩

Charlotte Truchet, Gérard Assayag, Philippe Codognet. OMClouds, petits nuages de contrainte dans OpenMusic. Journées d'Informatique Musicale, Jun 2003, Montbéliard, France. ⟨hal-02994207⟩

Marc Chemillier, Charlotte Truchet, Rousseau Louis-Martin. Analyse musicale et contraintes. Journées d'Informatique Musicale, May 2002, Marseille, France. ⟨hal-02992832⟩

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⟩

Marc Chemillier, Charlotte Truchet. Two Musical CSPs. CP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1. ⟨hal-01161429⟩

Charlotte Truchet, Carlos Agon, Gérard Assayag, Philippe Codognet. CAO et contraintes. Journées d'Informatique Musicale, 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⟩

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, 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⟩

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⟩

Nicolas Beldiceanu, Magnus Agren, Mats Carlsson, Mohammed Sbihi, Charlotte Truchet, et al.. Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01. 2009. ⟨hal-00481532⟩

Nicolas Beldiceanu, Emmanuel Poder, Rida Sadek, Mats Carlsson, Charlotte Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08.. 2007. ⟨hal-00481565⟩

Anicet Bart, Benoit Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet. Reachability in Parametric Interval Markov Chains using Constraints. 2017. ⟨hal-01529681⟩

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⟩