Charlotte Truchet

65
Documents

Publications

Publications

Deposit thumbnail

Informatique théâtrale

Rémi Ronfard , Charlotte Truchet , Serge Abiteboul

Binaire, 2025, pp.1-12

Article dans une revue hal-05328671v1

Régie, captation, mise en scène… Quand l’informatique s’invite au théâtre

Rémi Ronfard , Charlotte Truchet , Serge Abiteboul

The Conversation France, 2025

Article dans une revue hal-04956688v1
Deposit thumbnail

Solution sampling with random table constraints

Mathieu Vavrille , Charlotte Truchet , Charles Prud’homme

Constraints, 2022, 27, pp.381-413. ⟨10.1007/s10601-022-09329-w⟩

Article dans une revue hal-03776149v1

Modular Constraint Solver Cooperation via Abstract Interpretation

Pierre Talbot , Éric Monfroy , Charlotte Truchet

Theory and Practice of Logic Programming, 2020, 20 (6), pp.848-863. ⟨10.1017/S1471068420000162⟩

Article dans une revue hal-02945920v1
Deposit thumbnail

Revisiting Counting Solutions for the Global Cardinality Constraint

Giovanni Lo Bianco , Xavier Lorca , Charlotte Truchet , Gilles Pesant

Journal of Artificial Intelligence Research, 2019, 66, pp.411-441. ⟨10.1613/jair.1.11325⟩

Article dans une revue hal-02276554v1
Deposit thumbnail

Reachability in parametric Interval Markov Chains using constraints

Anicet Bart , Benoît Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet

Theoretical Computer Science, 2018, 747, pp.48-74. ⟨10.1016/j.tcs.2018.06.016⟩

Article dans une revue hal-01917092v1
Deposit thumbnail

An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone

Daniel Cortés-Borda , Eric Wimmer , Boris Gouilleux , Elvina Barré , Nicolas Oger et al.

Journal of Organic Chemistry, 2018, 83 (23), pp.14286-14299. ⟨10.1021/acs.joc.8b01821⟩

Article dans une revue hal-01980485v1

A global constraint for over-approximation of real-time streams

Anicet Bart , Charlotte Truchet , Eric Monfroy

Constraints, 2017, 22 (3), pp.463 - 490. ⟨10.1007/s10601-017-9268-z⟩

Article dans une revue hal-01555777v1
Deposit thumbnail

Optimizing the Heck-Matsuda Reaction in Flow with a Constraint-Adapted Direct Search Algorithm

Daniel Cortés-Borda , Ksenia V. Kutonova , Corentin Jamet , Marina E. Trusova , Francoise Zammattio et al.

Organic Process Research and Development, 2016, 20 (11), pp.1979-1987. ⟨10.1021/acs.oprd.6b00310⟩

Article dans une revue hal-02141343v1
Deposit thumbnail

Estimating parallel runtimes for randomized algorithms in constraint solving

Charlotte Truchet , Alejandro Arbelaez , Florian Richoux , Philippe Codognet

Journal of Heuristics, 2015, pp.1-36. ⟨10.1007/s10732-015-9292-3⟩

Article dans une revue hal-01248168v1

The octagon abstract domain for continuous constraints

Marie Pelleau , Charlotte Truchet , Frédéric Benhamou

Constraints, 2014, 19 (3), pp.309--337. ⟨10.1007/s10601-014-9162-x⟩

Article dans une revue hal-01147912v1

Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT

Alejandro Arbelaez , Philippe Codognet , Charlotte Truchet

Theory and Practice of Logic Programming, 2013, 13 (4-5), pp.625--639. ⟨10.1017/S1471068413000392⟩

Article dans une revue hal-00872982v1
Deposit thumbnail

Musical Constraint Satisfaction Problems Solved with Adaptive Search

Charlotte Truchet , Philippe Codognet

Soft Computing, 2004, 8 (9), pp.633-640

Article dans une revue hal-01161219v1

Computation of words satisfying the "rhythmic oddity property"

Marc Chemillier , Charlotte Truchet

Information Processing Letters, 2003, 86, pp.255-261

Article dans une revue hal-01105853v1
Deposit thumbnail

Sampling Frequent and Diversified Patterns Through Compression

François Camelin , Samir Loudni , Gilles Pesant , Charlotte Truchet

SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. pp.1053-1054, ⟨10.1145/3672608.3707872⟩

Communication dans un congrès hal-05363617v1
Deposit thumbnail

Sampling Frequent and Diverse Patterns Through Compression

François Camelin , Samir Loudni , Gilles Pesant , Charlotte Truchet

29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Jun 2025, Sydney, NSW, Australia. pp.189-200, ⟨10.1007/978-981-96-8170-9_15⟩

Communication dans un congrès hal-05363539v1

Échantillonnage d'ensemble de motifs diversifiés par compression locale

François Camelin , Samir Loudni , Gilles Pesant , Charlotte Truchet

24ème conférence francophone sur l'Extraction et la Gestion des Connaissances EGC 2024, Jan 2024, Dijon, France

Communication dans un congrès hal-04719113v1
Deposit thumbnail

Combination of Boxes and Polyhedra Abstractions for Constraint Solving

Ghiles Ziat , Alexandre Maréchal , Marie Pelleau , Antoine Miné , Charlotte Truchet

The 8th International Workshop on Numerical and Symbolic Abstract Domains - NSAD 2019, Oct 2019, Porto, Portugal. pp.119--135, ⟨10.1007/978-3-030-54997-8_8⟩

Communication dans un congrès hal-02457083v1
Deposit thumbnail

Conflict analysis in CP solving: Explanation generation from constraint decomposition

Arthur Gontier , Charlotte Truchet , Charles Prud'Homme

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

Communication dans un congrès hal-03179630v1
Deposit thumbnail

Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions

Giovanni Lo Bianco , Xavier Lorca , Charlotte Truchet

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⟩

Communication dans un congrès hal-02276566v1
Deposit thumbnail

Octogones entiers pour le problème RCPSP

Pierre Talbot , David Cachera , Eric Monfroy , Charlotte Truchet

JFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10

Communication dans un congrès hal-02157804v1

Combining Constraint Languages via Abstract Interpretation

Pierre Talbot , David Cachera , Eric Monfroy , Charlotte Truchet

2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩

Communication dans un congrès hal-02945596v1
Deposit thumbnail

Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots

Giovanni Lo Bianco , Xavier Lorca , Charlotte Truchet

JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141

Communication dans un congrès hal-02160312v1

A Probabilistic Model to Count Solutions on the alldifferent Constraint

Giovanni Lo Bianco , Charlotte Truchet , Xavier Lorca , Vlady Ravelomanana

CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p

Communication dans un congrès hal-01923767v1
Deposit thumbnail

Finding solutions by finding inconsistencies

Ghiles Ziat , Marie Pelleau , Charlotte Truchet , Antoine Miné

CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.420--435, ⟨10.1007/978-3-319-98334-9_28⟩

Communication dans un congrès hal-01885769v1
Deposit thumbnail

Améliorer la propagation : l'Importance d'être Inconsistant

Ghiles Ziat , Marie Pelleau , Charlotte Truchet , Antoine Miné

Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France

Communication dans un congrès hal-01735167v1
Deposit thumbnail

Reachability in Parametric Interval Markov Chains Using Constraints

Anicet Bart , Benoit Delahaye , Didier Lime , Eric Monfroy , Charlotte Truchet

14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩

Communication dans un congrès hal-01591036v1

Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes

Anicet Bart , Benoit Delahaye , Eric Monfroy , Charlotte Truchet

Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France

Communication dans un congrès hal-01555755v1
Deposit thumbnail

Contraintes sur des flux appliquées a la vérification de programmes audio

Anicet Bart , Charlotte Truchet , Eric Monfroy

Onzièmes Journées Francophones de Programmation par Contraintes, Jun 2016, Bordeaux, France

Communication dans un congrès hal-01234179v1

Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms

Alejandro Arbelaez , Charlotte Truchet , Barry O'Sullivan

ICTAI'16 - 28th {IEEE} International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, United States. ⟨10.1109/ictai.2016.0105⟩

Communication dans un congrès hal-01980502v1

Verifying a Real-Time Language with Constraints

Anicet Bart , Charlotte Truchet , Eric Monfroy

27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.124⟩

Communication dans un congrès hal-01234188v1

Interactive Design of Sustainable Cities with a Distributed Local Search Solver

Bruno Belin , Marc Christie , Charlotte Truchet

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⟩

Communication dans un congrès hal-01147919v1
Deposit thumbnail

Un solveur de contraintes basé sur les domaines abstraits

Marie Pelleau , Antoine Miné , Charlotte Truchet , Frédéric Benhamou

9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268

Communication dans un congrès hal-00925430v1

Estimating the Runtime of Parallel SAT Local Search (Extended Abstract)

Alejandro Arbelaez , Charlotte Truchet , Philippe Codognet

Metaheuristics International Conference (MIC 2013), Aug 2013, Singapore, Singapore

Communication dans un congrès hal-00850975v1
Deposit thumbnail

Prediction of Parallel Speed-ups for Las Vegas Algorithms

Charlotte Truchet , Florian Richoux , Philippe Codognet

42nd International Conference on Parallel Processing, 2013, Lyon, France. pp.160-169, ⟨10.1109/ICPP.2013.25⟩

Communication dans un congrès hal-00870979v1
Deposit thumbnail

A Constraint Solver based on Abstract Domains

Marie Pelleau , Antoine Miné , Charlotte Truchet , Frédéric Benhamou

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⟩

Communication dans un congrès hal-00785604v1
Deposit thumbnail

When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent

Jérémie Du Boisberranger , Danièle Gardy , Xavier Lorca , Charlotte Truchet

Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90

Communication dans un congrès hal-00867576v1

Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project

Bruno Belin , Marc Christie , Charlotte Truchet

CompSust'12 - 3rd International Conference on Computational Sustainability, Jul 2012, Copenhagen, Denmark

Communication dans un congrès hal-00872981v1
Deposit thumbnail

Octagonal Domains for Continuous Constraints

Marie Pelleau , Charlotte Truchet , Frédéric Benhamou

17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720

Communication dans un congrès hal-00785598v1

Abstract Domains for Constraint Programming, with the Example of Octagons

Charlotte Truchet , Marie Pelleau , Frédéric Benhamou

12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2010, Timisoara, Romania. pp.72-79, ⟨10.1109/SYNASC.2010.69⟩

Communication dans un congrès hal-01147921v1

Six Ways of Integrating Symmetries within Non-Overlapping Constraints

Nicolas Beldiceanu , Mats Carlsson , Mohammed Sbihi , Charlotte Truchet , Stéphane Zampelli et al.

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⟩

Communication dans un congrès hal-00481521v1

Sonet Network Design Problems

Marie Pelleau , Pascal van Hentenryck , Charlotte Truchet

6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, ⟨10.4204/EPTCS.5.7⟩

Communication dans un congrès hal-00482523v1

A tabu search method for interval constraints

Charlotte Truchet , Marc Christie , Jean-Marie Normand

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, May 2008, France. pp.372-376

Communication dans un congrès hal-00482527v1
Deposit thumbnail

Un modèle markovien pour GSAT et WalkSAT résultats préliminaires

Charlotte Truchet , Damien Noguès , Narendra Jussien

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

Communication dans un congrès inria-00292691v1

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects

Nicolas Beldiceanu , Mats Carlsson , Emmanuel Poder , Rida Sadek , Charlotte Truchet

13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, United States. pp.180-194

Communication dans un congrès hal-00481558v1
Deposit thumbnail

Calcul d'approximations intérieures pour la résolution de Max-NCSP

Marc Christie , Jean-Marie Normand , Charlotte Truchet

Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France

Communication dans un congrès inria-00085801v1
Deposit thumbnail

OMClouds, petits nuages de contrainte dans OpenMusic

Charlotte Truchet , Gérard Assayag , Philippe Codognet

Journées d'Informatique Musicale, Jun 2003, Montbéliard, France

Communication dans un congrès hal-02994207v1

The Adaptive Search Method for Constraint Solving and its application to musical CSPs

Philippe Codognet , Daniel Diaz , Charlotte Truchet

International Workshop on Heuristics, 2002, Beijing, China. 9 p

Communication dans un congrès hal-00668300v1
Deposit thumbnail

Analyse musicale et contraintes

Marc Chemillier , Charlotte Truchet , Rousseau Louis-Martin

Journées d'Informatique Musicale, May 2002, Marseille, France

Communication dans un congrès hal-02992832v1

Visual and Adaptive Constraint Programming in Music

Charlotte Truchet , Gérard Assayag , Philippe Codognet

ICMC 01, 2001, NA, France

Communication dans un congrès hal-01105723v1

A Constraint Programming System for Music Composition, Preliminary Results

Charlotte Truchet , Carlos Agon , Philippe Codognet

CP 01, Workshop on Musical Constraints, 2001, NA, France

Communication dans un congrès hal-01105726v1
Deposit thumbnail

Two Musical CSPs

Marc Chemillier , Charlotte Truchet

CP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1

Communication dans un congrès hal-01161429v1
Deposit thumbnail

CAO et contraintes

Charlotte Truchet , Carlos Agon , Gérard Assayag , Philippe Codognet

Journées d'Informatique Musicale, 2001, NA, France

Communication dans un congrès hal-01105725v1

Recherche adaptative et contraintes musicales

Charlotte Truchet , Carlos Agon , Gérard Assayag

JFPLC, 2001, NA, France

Communication dans un congrès hal-01105724v1

Constraints for an Unfolding Time

Charlotte Truchet , Georges Bloch

Constraint Programming in Music, ISTE-Wiley, pp.55-80, 2011

Chapitre d'ouvrage hal-00872977v1

OMClouds, a Library for Musical Constraints

Charlotte Truchet

Constraint Programming in Music, ISTE-Wiley, pp.189-212, 2011

Chapitre d'ouvrage hal-00872978v1

Some Constraint Satisfaction Problems in Computer Assisted Composition

Charlotte Truchet

epOs Music; Lluis-Puebla Emilio, Mazzola Guerino, Noll Thomas. Perspectives of Mathematical and Computer-Aided Music Theory,, 2003

Chapitre d'ouvrage hal-01105854v1