Charlotte Truchet

43 papers A 6B 8Misc 2Journal 18Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Coupling MDL and Markov chain Monte Carlo to sample diverse pattern sets.
Data Knowl. Eng.
François Camelin, Samir Loudni, Gilles Pesant, Charlotte Truchet
2025 — conf
Sampling Frequent and Diverse Patterns Through Compression.
PAKDD (1)
François Camelin, Samir Loudni, Gilles Pesant, Charlotte Truchet
2025 Misc conf
Sampling Frequent and Diversified Patterns Through Compression.
SAC
François Camelin, Samir Loudni, Gilles Pesant, Charlotte Truchet
2024 J jnl
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search.
CoRR
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
2024 — conf
Échantillonnage d'ensemble de motifs diversifiés par compression locale.
EGC
François Camelin, Samir Loudni, Gilles Pesant, Charlotte Truchet
2023 J jnl
Correction to: Solution sampling with random table constraints.
Constraints An Int. J.
Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme
2022 J jnl
Solution sampling with random table constraints.
Constraints An Int. J.
Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme
2021 A conf
Solution Sampling with Random Table Constraints.
CP
Mathieu Vavrille, Charlotte Truchet, Charles Prud'homme
2020 J jnl
Modular Constraint Solver Cooperation via Abstract Interpretation.
CoRR
Pierre Talbot, Éric Monfroy, Charlotte Truchet
2020 J jnl
Modular Constraint Solver Cooperation via Abstract Interpretation.
Theory Pract. Log. Program.
Pierre Talbot, Éric Monfroy, Charlotte Truchet
2019 — conf
Combination of Boxes and Polyhedra Abstractions for Constraint Solving.
FM Workshops (2)
Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet
2019 B conf
Combining Constraint Languages via Abstract Interpretation.
ICTAI
Pierre Talbot, David Cachera, Éric Monfroy, Charlotte Truchet
2019 A conf
Estimating the Number of Solutions of Cardinality Constraints Through \texttt range and \texttt roots Decompositions.
CP
Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet
2019 J jnl
Revisiting Counting Solutions for the Global Cardinality Constraint.
J. Artif. Intell. Res.
Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet, Gilles Pesant
2018 A conf
Finding Solutions by Finding Inconsistencies.
CP
Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné
2018 J jnl
Reachability in parametric Interval Markov Chains using constraints.
Theor. Comput. Sci.
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Éric Monfroy, Charlotte Truchet
2017 J jnl
A global constraint for over-approximation of real-time streams.
Constraints An Int. J.
Anicet Bart, Charlotte Truchet, Éric Monfroy
2017 — conf
Reachability in Parametric Interval Markov Chains Using Constraints.
QEST
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2017 J jnl
Reachability in Parametric Interval Markov Chains using Constraints.
CoRR
Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet
2016 J jnl
A Probabilistic-Based Model for Binary CSP.
CoRR
Amine Balafrej, Xavier Lorca, Charlotte Truchet
2016 J jnl
Estimating parallel runtimes for randomized algorithms in constraint solving.
J. Heuristics
Charlotte Truchet, Alejandro Arbelaez, Florian Richoux, Philippe Codognet
2016 B conf
Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms.
ICTAI
Alejandro Arbelaez, Charlotte Truchet, Barry O'Sullivan
2015 B conf
Verifying a Real-Time Language with Constraints.
ICTAI
Anicet Bart, Charlotte Truchet, Éric Monfroy
2014 B conf
Interactive Design of Sustainable Cities with a Distributed Local Search Solver.
CPAIOR
Bruno Belin, Marc Christie, Charlotte Truchet
2014 J jnl
Introduction.
Rev. d'Intelligence Artif.
Charlotte Truchet
2014 J jnl
The octagon abstract domain for continuous constraints.
Constraints An Int. J.
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou
2013 B conf
A Constraint Solver Based on Abstract Domains.
VMCAI
Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou
2013 B conf
Prediction of Parallel Speed-Ups for Las Vegas Algorithms.
ICPP
Charlotte Truchet, Florian Richoux, Philippe Codognet
2013 J jnl
Using sequential runtime distributions for the parallel speedup prediction of SAT local search.
Theory Pract. Log. Program.
Alejandro Arbelaez, Charlotte Truchet, Philippe Codognet
2013 — conf
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent.
ANALCO
Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca, Charlotte Truchet
2012 J jnl
Prediction of Parallel Speed-ups for Las Vegas Algorithms
CoRR
Charlotte Truchet, Florian Richoux, Philippe Codognet
2011 A conf
Octagonal Domains for Continuous Constraints.
CP
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou
2010 Misc conf
Abstract Domains for Constraint Programming, with the Example of Octagons.
SYNASC
Charlotte Truchet, Marie Pelleau, Frédéric Benhamou
2009 B conf
Six Ways of Integrating Symmetries within Non-overlapping Constraints.
CPAIOR
Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli
2009 — conf
Sonet Network Design Problems
LSCS
Marie Pelleau, Pascal Van Hentenryck, Charlotte Truchet
2008 B conf
A Tabu Search Method for Interval Constraints.
CPAIOR
Charlotte Truchet, Marc Christie, Jean-Marie Normand
2007 A conf
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic
CP
Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet
2005 A conf
Graph Invariants as Necessary Conditions for Global Constraints.
CP
Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet
2004 J jnl
Musical constraint satisfaction problems solved with adaptive search.
Soft Comput.
Charlotte Truchet, Philippe Codognet
2004 — conf
Programmation par contraintes et composition musicale.
JFPLC
Charlotte Truchet
2003 J jnl
Computation of words satisfying the "rhythmic oddity property" (after Simha Arom's works).
Inf. Process. Lett.
Marc Chemillier, Charlotte Truchet
2001 — conf
Recherche adaptative et contraintes musicales.
JFPLC
Charlotte Truchet, Carlos Agón, Gérard Assayag
2001 — conf
Visual and Adaptive Constraint Programming in Music.
ICMC
Charlotte Truchet, Gérard Assayag, Philippe Codognet