
Charlotte Truchet
62
Documents
Publications
Publications
É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
Communication dans un congrès
hal-04719113
v1
|
|
|
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⟩
Communication dans un congrès
hal-02457083
v1
|
|
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
Communication dans un congrès
hal-03179630
v1
|
|
Octogones entiers pour le problème RCPSPJFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10
Communication dans un congrès
hal-02157804
v1
|
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⟩
Communication dans un congrès
hal-02945596
v1
|
|
|
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⟩
Communication dans un congrès
hal-02276566
v1
|
|
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
Communication dans un congrès
hal-02160312
v1
|
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
Communication dans un congrès
hal-01923767
v1
|
|
|
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⟩
Communication dans un congrès
hal-01885769
v1
|
|
Améliorer la propagation : l'Importance d'être InconsistantTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-01735167
v1
|
|
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⟩
Communication dans un congrès
hal-01591036
v1
|
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
Communication dans un congrès
hal-01555755
v1
|
|
|
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
Communication dans un congrès
hal-01234179
v1
|
|
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⟩
Communication dans un congrès
hal-01980502
v1
|
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⟩
Communication dans un congrès
hal-01234188
v1
|
|
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⟩
Communication dans un congrès
hal-01147919
v1
|
|
Estimating the Runtime of Parallel SAT Local Search (Extended Abstract)Metaheuristics International Conference (MIC 2013), Aug 2013, Singapore, Singapore
Communication dans un congrès
hal-00850975
v1
|
|
|
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
Communication dans un congrès
hal-00925430
v1
|
|
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⟩
Communication dans un congrès
hal-00870979
v1
|
|
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⟩
Communication dans un congrès
hal-00785604
v1
|
|
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
Communication dans un congrès
hal-00867576
v1
|
Interactive Urban Planning with Local Search Techniques: the SUSTAINS ProjectCompSust'12 - 3rd International Conference on Computational Sustainability, Jul 2012, Copenhagen, Denmark
Communication dans un congrès
hal-00872981
v1
|
|
|
Octagonal Domains for Continuous Constraints17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italy. pp.706--720
Communication dans un congrès
hal-00785598
v1
|
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⟩
Communication dans un congrès
hal-01147921
v1
|
|
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⟩
Communication dans un congrès
istex
hal-00481521
v1
|
|
|
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⟩
Communication dans un congrès
hal-00482523
v1
|
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
Communication dans un congrès
hal-00482527
v1
|
|
|
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
Communication dans un congrès
inria-00292691
v1
|
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
Communication dans un congrès
hal-00481558
v1
|
|
|
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
Communication dans un congrès
inria-00085801
v1
|
|
OMClouds, petits nuages de contrainte dans OpenMusicJournées d'Informatique Musicale, Jun 2003, Montbéliard, France
Communication dans un congrès
hal-02994207
v1
|
The Adaptive Search Method for Constraint Solving and its application to musical CSPsInternational Workshop on Heuristics, 2002, Beijing, China. 9 p
Communication dans un congrès
hal-00668300
v1
|
|
|
Analyse musicale et contraintesJournées d'Informatique Musicale, May 2002, Marseille, France
Communication dans un congrès
hal-02992832
v1
|
Visual and Adaptive Constraint Programming in MusicICMC 01, 2001, NA, France
Communication dans un congrès
hal-01105723
v1
|
|
|
Two Musical CSPsCP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1
Communication dans un congrès
hal-01161429
v1
|
A Constraint Programming System for Music Composition, Preliminary ResultsCP 01, Workshop on Musical Constraints, 2001, NA, France
Communication dans un congrès
hal-01105726
v1
|
|
|
CAO et contraintesJournées d'Informatique Musicale, 2001, NA, France
Communication dans un congrès
hal-01105725
v1
|
Recherche adaptative et contraintes musicalesJFPLC, 2001, NA, France
Communication dans un congrès
hal-01105724
v1
|
Revue d'Intelligence ArtificielleHermès, 28 (5), pp.521-636, 2014
Ouvrages
hal-01147922
v1
|
|
Constraint Programming in MusicISTE-Wiley, pp.256, 2011
Ouvrages
hal-00872976
v1
|
OMClouds, a Library for Musical ConstraintsConstraint Programming in Music, ISTE-Wiley, pp.189-212, 2011
Chapitre d'ouvrage
hal-00872978
v1
|
|
Constraints for an Unfolding TimeConstraint Programming in Music, ISTE-Wiley, pp.55-80, 2011
Chapitre d'ouvrage
hal-00872977
v1
|
|
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
Chapitre d'ouvrage
hal-01105854
v1
|
Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-012009
Autre publication scientifique
hal-00481532
v1
|
|
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08.2007
Autre publication scientifique
hal-00481565
v1
|
|
Reachability in Parametric Interval Markov Chains using Constraints2017
Pré-publication, Document de travail
hal-01529681
v1
|
|
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
(rapport de recherche)
hal-03970237
v1
|
|
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)[0] CNRS. 2018, pp.1-87
Rapport
hal-01956087
v1
|
|
A Probabilistic Study of Bound Consistency for the Alldifferent Constraint2011
Rapport
hal-00588888
v1
|
Chargement...
Chargement...