Charlotte Truchet
Publications
Publications
|
|
Sampling Frequent and Diversified Patterns Through CompressionSAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. pp.1053-1054, ⟨10.1145/3672608.3707872⟩ |
|
|
Sampling Frequent and Diverse Patterns Through Compression29th 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⟩ |
Échantillonnage d'ensemble de motifs diversifiés par compression locale24ème conférence francophone sur l'Extraction et la Gestion des Connaissances EGC 2024, Jan 2024, Dijon, France |
|
|
|
Combination of Boxes and Polyhedra Abstractions for Constraint SolvingThe 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⟩ |
|
|
Conflict analysis in CP solving: Explanation generation from constraint decompositionCP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, Sep 2020, Louvain-la-Neuve, Belgium |
|
|
Estimating the Number of Solutions of Cardinality Constraints through range and roots DecompositionsCP 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⟩ |
|
|
Octogones entiers pour le problème RCPSPJFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10 |
Combining Constraint Languages via Abstract Interpretation2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩ |
|
|
|
Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et rootsJFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. p. 133-141 |
A Probabilistic Model to Count Solutions on the alldifferent ConstraintCP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, Aug 2018, Lille, France. 9 p |
|
|
|
Finding solutions by finding inconsistenciesCP 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⟩ |
|
|
Améliorer la propagation : l'Importance d'être InconsistantTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France |
|
|
Reachability in Parametric Interval Markov Chains Using Constraints14th International Conference on Quantitative Evaluation of SysTems, Sep 2017, Berlin, Germany. pp.527 - 189, ⟨10.1007/978-3-319-66335-7_11⟩ |
Vérification de chaînes de Markov à intervalles paramétrés avec des contraintesTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France |
|
|
|
Contraintes sur des flux appliquées a la vérification de programmes audioOnzièmes Journées Francophones de Programmation par Contraintes, Jun 2016, Bordeaux, France |
|
|
Learning Sequential and Parallel Runtime Distributions for Randomized AlgorithmsICTAI'16 - 28th {IEEE} International Conference on Tools with Artificial Intelligence, Nov 2016, San Jose, United States. ⟨10.1109/ictai.2016.0105⟩ |
Verifying a Real-Time Language with Constraints27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italy. ⟨10.1109/ICTAI.2015.124⟩ |
|
Interactive Design of Sustainable Cities with a Distributed Local Search Solver11th 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⟩ |
|
|
|
Un solveur de contraintes basé sur les domaines abstraits9èmes Journées Francophones de Programmation par Contraintes, Jun 2013, Aix-en-Provence, France. pp.259-268 |
Estimating the Runtime of Parallel SAT Local Search (Extended Abstract)Metaheuristics International Conference (MIC 2013), Aug 2013, Singapore, Singapore |
|
|
|
Prediction of Parallel Speed-ups for Las Vegas Algorithms42nd International Conference on Parallel Processing, 2013, Lyon, France. pp.160-169, ⟨10.1109/ICPP.2013.25⟩ |
|
|
A Constraint Solver based on Abstract DomainsVMCAI 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⟩ |
|
|
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferentMeeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, United States. pp.80-90 |
Interactive Urban Planning with Local Search Techniques: the SUSTAINS ProjectCompSust'12 - 3rd International Conference on Computational Sustainability, Jul 2012, Copenhagen, Denmark |
|
|
|
Octagonal Domains for Continuous Constraints17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720 |
Abstract Domains for Constraint Programming, with the Example of Octagons12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2010, Timisoara, Romania. pp.72-79, ⟨10.1109/SYNASC.2010.69⟩ |
|
|
|
Six Ways of Integrating Symmetries within Non-Overlapping Constraints6th 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⟩ |
|
|
Sonet Network Design Problems6th International Workshop on Local Search Techniques in Constraint Satisfaction, Sep 2009, Lisbon, France. pp.81-95, ⟨10.4204/EPTCS.5.7⟩ |
A tabu search method for interval constraintsIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, May 2008, France. pp.372-376 |
|
|
|
Un modèle markovien pour GSAT et WalkSAT résultats préliminairesJFPC 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 |
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, United States. pp.180-194 |
|
|
|
Calcul d'approximations intérieures pour la résolution de Max-NCSPDeuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France |
|
|
OMClouds, petits nuages de contrainte dans OpenMusicJournées d'Informatique Musicale, Jun 2003, Montbéliard, France |
The Adaptive Search Method for Constraint Solving and its application to musical CSPsInternational Workshop on Heuristics, 2002, Beijing, China. 9 p |
|
|
|
Analyse musicale et contraintesJournées d'Informatique Musicale, May 2002, Marseille, France |
Visual and Adaptive Constraint Programming in MusicICMC 01, 2001, NA, France |
|
A Constraint Programming System for Music Composition, Preliminary ResultsCP 01, Workshop on Musical Constraints, 2001, NA, France |
|
|
|
Two Musical CSPsCP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1 |
|
|
CAO et contraintesJournées d'Informatique Musicale, 2001, NA, France |
Recherche adaptative et contraintes musicalesJFPLC, 2001, NA, France |
Revue d'Intelligence ArtificielleHermès, 28 (5), pp.521-636, 2014 |
|
Constraint Programming in MusicISTE-Wiley, pp.256, 2011 |
Constraints for an Unfolding TimeConstraint Programming in Music, ISTE-Wiley, pp.55-80, 2011 |
|
OMClouds, a Library for Musical ConstraintsConstraint Programming in Music, ISTE-Wiley, pp.189-212, 2011 |
|
Some Constraint Satisfaction Problems in Computer Assisted CompositionepOs Music; Lluis-Puebla Emilio, Mazzola Guerino, Noll Thomas. Perspectives of Mathematical and Computer-Aided Music Theory,, 2003 |
Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-012009 |
|
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08.2007 |
|
|
Reachability in Parametric Interval Markov Chains using Constraints2017 |
|
|
Linear Time Computation of Variation Degree and Commonalities on Feature DiagramsRR-2023-01-DAPI, Nantes Université, École Centrale Nantes, IMT Atlantique, CNRS, LS2N, UMR 6004, F-44000 Nantes, France. 2023 |
|
|
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)[0] CNRS. 2018, pp.1-87 |
|
|
A Probabilistic Study of Bound Consistency for the Alldifferent Constraint2011 |