Access content directly

Charlotte Truchet

60
Documents

Publications

Image document

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⟩
Journal articles 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⟩
Journal articles hal-02945920v1
Image document

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⟩
Journal articles hal-02276554v1
Image document

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
Journal of Organic Chemistry, 2018, 83 (23), pp.14286-14299. ⟨10.1021/acs.joc.8b01821⟩
Journal articles hal-01980485v1
Image document

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⟩
Journal articles hal-01917092v1

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⟩
Journal articles hal-01555777v1
Image document

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

Daniel Cortes-Borda , Ksenia V. Kutonova , Corentin Jamet , Marina E. Trusova , Francoise Zammattio
Organic Process Research and Development, 2016, 20 (11), pp.1979-1987. ⟨10.1021/acs.oprd.6b00310⟩
Journal articles hal-02141343v1
Image document

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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-00872982v1
Image document

Musical Constraint Satisfaction Problems Solved with Adaptive Search

Charlotte Truchet , Philippe Codognet
Soft Computing, 2004, 8 (9), pp.633-640
Journal articles hal-01161219v1

Computation of words satisfying the "rhythmic oddity property"

Marc Chemillier , Charlotte Truchet
Information Processing Letters, 2003, 86, pp.255-261
Journal articles hal-01105853v1
Image document

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
Conference papers hal-03179630v1

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, Oct 2019, Porto, Portugal
Conference papers hal-02457083v1
Image document

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⟩
Conference papers hal-02276566v1
Image document

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
Conference papers hal-02160312v1

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⟩
Conference papers hal-02945596v1
Image document

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
Conference papers hal-02157804v1

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
Conference papers hal-01923767v1
Image document

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.1-16
Conference papers hal-01885769v1

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
Conference papers hal-01555755v1
Image document

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⟩
Conference papers hal-01591036v1
Image document

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
Conference papers hal-01735167v1

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
Conference papers hal-01980502v1
Image document

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
Conference papers hal-01234179v1

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⟩
Conference papers 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⟩
Conference papers hal-01147919v1

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
Conference papers hal-00850975v1
Image document

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⟩
Conference papers hal-00785604v1
Image document

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
Conference papers hal-00867576v1
Image document

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
Conference papers hal-00925430v1
Image document

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⟩
Conference papers hal-00870979v1

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
Conference papers hal-00872981v1
Image document

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
Conference papers 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⟩
Conference papers hal-01147921v1

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⟩
Conference papers hal-00482523v1

Six Ways of Integrating Symmetries within Non-Overlapping Constraints

Nicolas Beldiceanu , Mats Carlsson , Mohammed Sbihi , Charlotte Truchet , Stéphane Zampelli
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⟩
Conference papers hal-00481521v1

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
Conference papers hal-00482527v1
Image document

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
Conference papers 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
Conference papers hal-00481558v1
Image document

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
Conference papers inria-00085801v1
Image document

OMClouds, petits nuages de contrainte dans OpenMusic

Charlotte Truchet , Gérard Assayag , Philippe Codognet
Journées d'Informatique Musicale, Jun 2003, Montbéliard, France
Conference papers 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
Conference papers hal-00668300v1
Image document

Analyse musicale et contraintes

Marc Chemillier , Charlotte Truchet , Rousseau Louis-Martin
Journées d'Informatique Musicale, May 2002, Marseille, France
Conference papers hal-02992832v1

Recherche adaptative et contraintes musicales

Charlotte Truchet , Carlos Agon , Gérard Assayag
JFPLC, 2001, NA, France
Conference papers hal-01105724v1
Image document

CAO et contraintes

Charlotte Truchet , Carlos Agon , Gérard Assayag , Philippe Codognet
Journées d'Informatique Musicale, 2001, NA, France
Conference papers hal-01105725v1
Image document

Two Musical CSPs

Marc Chemillier , Charlotte Truchet
CP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1
Conference papers hal-01161429v1

A Constraint Programming System for Music Composition, Preliminary Results

Charlotte Truchet , Carlos Agon , Philippe Codognet
CP 01, Workshop on Musical Constraints, 2001, NA, France
Conference papers hal-01105726v1

Visual and Adaptive Constraint Programming in Music

Charlotte Truchet , Gérard Assayag , Philippe Codognet
ICMC 01, 2001, NA, France
Conference papers hal-01105723v1

Constraints for an Unfolding Time

Charlotte Truchet , Georges Bloch
Constraint Programming in Music, ISTE-Wiley, pp.55-80, 2011
Book sections hal-00872977v1

OMClouds, a Library for Musical Constraints

Charlotte Truchet
Constraint Programming in Music, ISTE-Wiley, pp.189-212, 2011
Book sections 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
Book sections hal-01105854v1