Charlotte Truchet
60
Documents
Publications
|
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
Conference papers
hal-03179630v1
|
|
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⟩
Conference papers
hal-02276566v1
|
Combination of Boxes and Polyhedra Abstractions for Constraint SolvingThe 8th International Workshop on Numerical and Symbolic Abstract Domains, Oct 2019, Porto, Portugal
Conference papers
hal-02457083v1
|
|
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⟩
Conference papers
hal-02945596v1
|
|
|
Octogones entiers pour le problème RCPSPJFPC 2019 - Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France. pp.1-10
Conference papers
hal-02157804v1
|
|
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
Conference papers
hal-02160312v1
|
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
Conference papers
hal-01923767v1
|
|
|
Finding solutions by finding inconsistenciesCP 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 contraintesTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Conference papers
hal-01555755v1
|
|
|
Améliorer la propagation : l'Importance d'être InconsistantTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Conference papers
hal-01735167v1
|
|
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⟩
Conference papers
hal-01591036v1
|
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
Conference papers
hal-01980502v1
|
|
|
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
Conference papers
hal-01234179v1
|
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⟩
Conference papers
hal-01234188v1
|
|
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⟩
Conference papers
hal-01147919v1
|
|
|
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
Conference papers
hal-00925430v1
|
Estimating the Runtime of Parallel SAT Local Search (Extended Abstract)Metaheuristics International Conference (MIC 2013), Aug 2013, Singapore, Singapore
Conference papers
hal-00850975v1
|
|
|
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⟩
Conference papers
hal-00785604v1
|
|
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
Conference papers
hal-00867576v1
|
|
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⟩
Conference papers
hal-00870979v1
|
Interactive Urban Planning with Local Search Techniques: the SUSTAINS ProjectCompSust'12 - 3rd International Conference on Computational Sustainability, Jul 2012, Copenhagen, Denmark
Conference papers
hal-00872981v1
|
|
|
Octagonal Domains for Continuous Constraints17th 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 Octagons12th 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 Problems6th 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 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⟩
Conference papers
hal-00481521v1
|
|
|
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
Conference papers
inria-00292691v1
|
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
Conference papers
hal-00482527v1
|
|
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
Conference papers
hal-00481558v1
|
|
|
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
Conference papers
inria-00085801v1
|
|
OMClouds, petits nuages de contrainte dans OpenMusicJourné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 CSPsInternational Workshop on Heuristics, 2002, Beijing, China. 9 p
Conference papers
hal-00668300v1
|
|
|
Analyse musicale et contraintesJournées d'Informatique Musicale, May 2002, Marseille, France
Conference papers
hal-02992832v1
|
|
CAO et contraintesJournées d'Informatique Musicale, 2001, NA, France
Conference papers
hal-01105725v1
|
Visual and Adaptive Constraint Programming in MusicICMC 01, 2001, NA, France
Conference papers
hal-01105723v1
|
|
Recherche adaptative et contraintes musicalesJFPLC, 2001, NA, France
Conference papers
hal-01105724v1
|
|
A Constraint Programming System for Music Composition, Preliminary ResultsCP 01, Workshop on Musical Constraints, 2001, NA, France
Conference papers
hal-01105726v1
|
|
|
Two Musical CSPsCP 01 Workshop on Musical Constraints, 2001, NA, France. pp.1-1
Conference papers
hal-01161429v1
|
Revue d'Intelligence ArtificielleHermès, 28 (5), pp.521-636, 2014
Books
hal-01147922v1
|
|
Constraint Programming in MusicISTE-Wiley, pp.256, 2011
Books
hal-00872976v1
|
Constraints for an Unfolding TimeConstraint Programming in Music, ISTE-Wiley, pp.55-80, 2011
Book sections
hal-00872977v1
|
|
OMClouds, a Library for Musical ConstraintsConstraint Programming in Music, ISTE-Wiley, pp.189-212, 2011
Book sections
hal-00872978v1
|
|
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
Book sections
hal-01105854v1
|
|
Reachability in Parametric Interval Markov Chains using Constraints2017
Preprints, Working Papers, ...
hal-01529681v1
|
|
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
Reports
hal-03970237v1
|
|
Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)[0] CNRS. 2018, pp.1-87
Reports
hal-01956087v1
|
|
A Probabilistic Study of Bound Consistency for the Alldifferent Constraint2011
Reports
hal-00588888v1
|