Visual and Adaptive Constraint Programming in Music. - Charlotte Truchet; Gérard Assayag; Philippe Codognet (ICMC, 2001)

Recherche adaptative et contraintes musicales. - Charlotte Truchet; Carlos Agón; Gérard Assayag (JFPLC, 2001)

Computation of words satisfying the "rhythmic oddity property" (after Simha Arom's works). - Marc Chemillier; Charlotte Truchet (Inf. Process. Lett., 2003)

Programmation par contraintes et composition musicale. - Charlotte Truchet (JFPLC, 2004)

Musical constraint satisfaction problems solved with adaptive search. - Charlotte Truchet; Philippe Codognet (Soft Comput., 2004)

Graph Invariants as Necessary Conditions for Global Constraints. - Nicolas Beldiceanu; Mats Carlsson; Jean-Xavier Rampon; Charlotte Truchet (CP, 2005)

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. - Nicolas Beldiceanu; Mats Carlsson; Emmanuel Poder; R. Sadek; Charlotte Truchet (CP, 2007)

A Tabu Search Method for Interval Constraints. - Charlotte Truchet; Marc Christie; Jean-Marie Normand (CPAIOR, 2008)

Six Ways of Integrating Symmetries within Non-overlapping Constraints. - Magnus Ågren 002; Nicolas Beldiceanu; Mats Carlsson; Mohamed Sbihi; Charlotte Truchet; Stéphane Zampelli (CPAIOR, 2009)

Sonet Network Design Problems - Marie Pelleau; Pascal Van Hentenryck; Charlotte Truchet (LSCS, 2009)

Abstract Domains for Constraint Programming, with the Example of Octagons. - Charlotte Truchet; Marie Pelleau; Frédéric Benhamou (SYNASC, 2010)

Octagonal Domains for Continuous Constraints. - Marie Pelleau; Charlotte Truchet; Frédéric Benhamou (CP, 2011)

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 (ANALCO, 2013)

Prediction of Parallel Speed-Ups for Las Vegas Algorithms. - Charlotte Truchet; Florian Richoux; Philippe Codognet (ICPP, 2013)

A Constraint Solver Based on Abstract Domains. - Marie Pelleau; Antoine Miné; Charlotte Truchet; Frédéric Benhamou (VMCAI, 2013)

Using sequential runtime distributions for the parallel speedup prediction of SAT local search. - Alejandro Arbelaez; Charlotte Truchet; Philippe Codognet (Theory Pract. Log. Program., 2013)

Interactive Design of Sustainable Cities with a Distributed Local Search Solver. - Bruno Belin; Marc Christie; Charlotte Truchet (CPAIOR, 2014)

The octagon abstract domain for continuous constraints. - Marie Pelleau; Charlotte Truchet; Frédéric Benhamou (Constraints An Int. J., 2014)

Introduction. - Charlotte Truchet (Rev. d'Intelligence Artif., 2014)

Verifying a Real-Time Language with Constraints. - Anicet Bart; Charlotte Truchet; Éric Monfroy (ICTAI, 2015)

Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. - Alejandro Arbelaez; Charlotte Truchet; Barry O'Sullivan (ICTAI, 2016)

A Probabilistic-Based Model for Binary CSP. - Amine Balafrej; Xavier Lorca; Charlotte Truchet (CoRR, 2016)

Estimating parallel runtimes for randomized algorithms in constraint solving. - Charlotte Truchet; Alejandro Arbelaez; Florian Richoux; Philippe Codognet (J. Heuristics, 2016)

Reachability in Parametric Interval Markov Chains Using Constraints. - Anicet Bart; Benoît Delahaye; Didier Lime; Éric Monfroy; Charlotte Truchet (QEST, 2017)

A global constraint for over-approximation of real-time streams. - Anicet Bart; Charlotte Truchet; Éric Monfroy (Constraints An Int. J., 2017)

Finding Solutions by Finding Inconsistencies. - Ghiles Ziat; Marie Pelleau; Charlotte Truchet; Antoine Miné (CP, 2018)

Reachability in parametric Interval Markov Chains using constraints. - Anicet Bart; Benoît Delahaye; Paulin Fournier; Didier Lime; Éric Monfroy; Charlotte Truchet (Theor. Comput. Sci., 2018)

Estimating the Number of Solutions of Cardinality Constraints Through texttt range and texttt roots Decompositions. - Giovanni Lo Bianco; Xavier Lorca; Charlotte Truchet (CP, 2019)

Combination of Boxes and Polyhedra Abstractions for Constraint Solving. - Ghiles Ziat; Alexandre Maréchal; Marie Pelleau; Antoine Miné; Charlotte Truchet (FM Workshops (2), 2019)

Combining Constraint Languages via Abstract Interpretation. - Pierre Talbot; David Cachera; Éric Monfroy; Charlotte Truchet (ICTAI, 2019)

Revisiting Counting Solutions for the Global Cardinality Constraint. - Giovanni Lo Bianco; Xavier Lorca; Charlotte Truchet; Gilles Pesant (J. Artif. Intell. Res., 2019)

Modular Constraint Solver Cooperation via Abstract Interpretation. - Pierre Talbot; Éric Monfroy; Charlotte Truchet (Theory Pract. Log. Program., 2020)

Solution sampling with random table constraints. - Mathieu Vavrille; Charlotte Truchet; Charles Prud'homme (Constraints An Int. J., 2022)

Correction to: Solution sampling with random table constraints. - Mathieu Vavrille; Charlotte Truchet; Charles Prud'homme (Constraints An Int. J., 2023)

Échantillonnage d'ensemble de motifs diversifiés par compression locale. - François Camelin; Samir Loudni; Gilles Pesant; Charlotte Truchet (EGC, 2024)

Sampling Frequent and Diverse Patterns Through Compression. - François Camelin; Samir Loudni; Gilles Pesant; Charlotte Truchet (PAKDD (1), 2025)

Sampling Frequent and Diversified Patterns Through Compression. - François Camelin; Samir Loudni; Gilles Pesant; Charlotte Truchet (SAC, 2025)

Coupling MDL and Markov chain Monte Carlo to sample diverse pattern sets. - François Camelin; Samir Loudni; Gilles Pesant; Charlotte Truchet (Data Knowl. Eng., 2025)