Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Charlotte TRUCHET

ENSEIGNANT-CHERCHEUR

HDR

Equipe : TASC.

: Charlotte.Truchetatls2n.fr

: +33 (0)2 51 12 53 48

Adresse :

Université de Nantes - faculté des Sciences et Techniques ( FST )
Petit Port
2 Chemin de la Houssinière
BP 92208
44322 Nantes Cedex 3

Batiment 11, étage 2, bureau 218



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] P. Talbot, . Monfroy, C. Truchet. Modular Constraint Solver Cooperation via Abstract Interpretation. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2020, vol. 20, num. 6.
      https://hal.univ-angers.fr/hal-02945920
    • [2] G. Lo Bianco, X. Lorca, C. Truchet, G. Pesant. Revisiting Counting Solutions for the Global Cardinality Constraint. In Journal of Artificial Intelligence Research ; éd. Association for the Advancement of Artificial Intelligence, 2019, vol. 66.
      https://hal.archives-ouvertes.fr/hal-02276554
    • [3] D. Cortés-Borda, E. Wimmer, B. Gouilleux, E. Barré, N. Oger, L. Goulamaly, L. Peault, B. Charrier, C. Truchet, P. Giraudeau, M. Rodriguez-Zubiri, E. Le Grognec, F. Felpin. An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone. In Journal of Organic Chemistry ; éd. American Chemical Society, 2018, vol. 83, num. 23.
      https://hal.archives-ouvertes.fr/hal-01980485
    • [4] A. Bart, B. Delahaye, P. Fournier, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
      https://hal.archives-ouvertes.fr/hal-01917092
    • [6] D. Cortes-Borda, K. Kutonova, C. Jamet, M. Trusova, F. Zammattio, C. Truchet, M. Rodriguez-Zubiri, F. Felpin. Optimizing the Heck-Matsuda Reaction in Flow with a Constraint-Adapted Direct Search Algorithm. In Organic Process Research and Development ; éd. American Chemical Society, 2016, vol. 20, num. 11.
      https://hal.archives-ouvertes.fr/hal-02141343
    • [7] C. Truchet, A. Arbelaez, F. Richoux, P. Codognet. Estimating parallel runtimes for randomized algorithms in constraint solving. In Journal of Heuristics ; éd. Springer Verlag, 2015.
      https://hal.archives-ouvertes.fr/hal-01248168
    • [9] A. Arbelaez, P. Codognet, C. Truchet. Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT. In Theory and Practice of Logic Programming ; éd. Cambridge University Press (CUP), 2013, vol. 13, num. 4-5.
      https://hal.archives-ouvertes.fr/hal-00872982

Revues nationales avec comité de lecture (ART_NAT)

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [12] A. Gontier, C. Truchet, C. Prud'Homme. Conflict analysis in CP solving: Explanation generation from constraint decomposition. In CP 2020: 26th International Conference on Principles and Practice of Constraint Programming: Workshop: From Constraint Programming to Trustworthy AI, septembre 2020, Louvain-la-Neuve, Belgique.
      https://hal.archives-ouvertes.fr/hal-03179630
    • [13] G. Lo Bianco, X. Lorca, C. Truchet. Estimating the Number of Solutions of Cardinality Constraints through range and roots Decompositions. In CP 2019-25th International Conference on Principles and Practice of Constraint Programming, septembre 2019, Stamford, états-Unis.
      https://hal.archives-ouvertes.fr/hal-02276566
    • [14] G. Ziat, A. Maréchal, M. Pelleau, A. Miné, C. Truchet. Combination of Boxes and Polyhedra Abstractions for Constraint Solving. In The 8th International Workshop on Numerical and Symbolic Abstract Domains, octobre 2019, Porto, Portugal.
      https://hal.archives-ouvertes.fr/hal-02457083
    • [15] P. Talbot, D. Cachera, E. Monfroy, C. Truchet. Combining Constraint Languages via Abstract Interpretation. In 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), novembre 2019, Portland, France.
      https://hal.univ-angers.fr/hal-02945596
    • [16] G. Lo Bianco, C. Truchet, X. Lorca, V. Ravelomanana. A Probabilistic Model to Count Solutions on the alldifferent Constraint. In CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, août 2018, Lille, France.
      https://hal-mines-albi.archives-ouvertes.fr/hal-01923767
    • [17] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Finding solutions by finding inconsistencies. In CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, août 2018, Lille, France.
      https://hal.archives-ouvertes.fr/hal-01885769
    • [18] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Améliorer la propagation : l'Importance d'être Inconsistant. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.archives-ouvertes.fr/hal-01735167
    • [19] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01591036
    • [20] A. Arbelaez, C. Truchet, B. O'Sullivan. Learning Sequential and Parallel Runtime Distributions for Randomized Algorithms. In ICTAI'16 - 28th {IEEE} International Conference on Tools with Artificial Intelligence, novembre 2016, San Jose, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01980502
    • [21] A. Bart, C. Truchet, E. Monfroy. Verifying a Real-Time Language with Constraints. In 27th IEEE International Conference on Tools with Artificial Intelligence, 2015, Vietri sul Mare, Italie.
      https://hal.archives-ouvertes.fr/hal-01234188
    • [22] B. Belin, M. Christie, C. Truchet. Interactive Design of Sustainable Cities with a Distributed Local Search Solver. In 11th International Conference on Integration of and Techniques in Constraint Programming - CPAIOR 2014, mai 2014, Cork, Irlande.In Helmut Simonis (éds.), . Springer International Publishing, 2014.
      https://hal.archives-ouvertes.fr/hal-01147919
    • [24] M. Pelleau, A. Miné, C. Truchet, F. Benhamou. Un solveur de contraintes basé sur les domaines abstraits. In 9èmes Journées Francophones de Programmation par Contraintes, juin 2013, Aix-en-Provence, France.
      https://hal.inria.fr/hal-00925430
    • [25] A. Arbelaez, C. Truchet, P. Codognet. Estimating the Runtime of Parallel SAT Local Search (Extended Abstract). In Metaheuristics International Conference (MIC 2013), août 2013, Singapore, Singapour.
      https://hal.inria.fr/hal-00850975
    • [26] J. Du Boisberranger, D. Gardy, X. Lorca, C. Truchet. When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent. In Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, Louisiana, USA, états-Unis.In Markus Nebel and Wojciech Szpankowski (éds.), Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics, ANALCO 2013. , 2013.
      https://hal.archives-ouvertes.fr/hal-00867576
    • [27] M. Pelleau, A. Miné, C. Truchet, F. Benhamou. A Constraint Solver based on Abstract Domains. In VMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2013, Rome, Italie.In Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni (éds.), . Springer-Verlag, 2013.
      https://hal.archives-ouvertes.fr/hal-00785604
    • [28] M. Pelleau, C. Truchet, F. Benhamou. Octagonal Domains for Continuous Constraints. In 17th International Conference on Principles and Practice of Constraint Programming (CP'11), 2011, Perrugia, Italie.
      https://hal.archives-ouvertes.fr/hal-00785598
    • [29] C. Truchet, M. Pelleau, F. Benhamou. Abstract Domains for Constraint Programming, with the Example of Octagons. In 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), septembre 2010, Timisoara, Roumanie.
      https://hal.archives-ouvertes.fr/hal-01147921
    • [30] M. Pelleau, P. van Hentenryck, C. Truchet. Sonet Network Design Problems. In 6th International Workshop on Local Search Techniques in Constraint Satisfaction, septembre 2009, Lisbon, France.
      https://hal.archives-ouvertes.fr/hal-00482523
    • [31] N. Beldiceanu, M. Carlsson, M. Sbihi, C. Truchet, S. Zampelli, M. Agren. Six Ways of Integrating Symmetries within Non-Overlapping Constraints. In 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), 2009, , états-Unis.In Springer-Verlag (éds.), 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09). , 2009.
      https://hal.archives-ouvertes.fr/hal-00481521
    • [32] C. Truchet, M. Christie, J. Normand. A tabu search method for interval constraints. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, mai 2008, , France.
      https://hal.archives-ouvertes.fr/hal-00482527
    • [33] N. Beldiceanu, M. Carlsson, E. Poder, R. Sadek, C. Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. In 13th International on Principles and Practice of Constraint Programming (CP'07), 2007, Brown, états-Unis.
      https://hal.archives-ouvertes.fr/hal-00481558
    • [35] P. Codognet, D. Diaz, C. Truchet. The Adaptive Search Method for Constraint Solving and its application to musical CSPs. In International Workshop on Heuristics, 2002, Beijing, Chine.
      https://hal.archives-ouvertes.fr/hal-00668300

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [37] G. Lo Bianco, X. Lorca, C. Truchet. Estimer le nombre de solutions des contraintes de cardinalité grâce à leur décomposition range et roots. In JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, juin 2019, Albi, France.
      https://hal-mines-albi.archives-ouvertes.fr/hal-02160312
    • [38] P. Talbot, D. Cachera, E. Monfroy, C. Truchet. Octogones entiers pour le problème RCPSP. In JFPC 2019 - Journées Francophones de Programmation par Contraintes, juin 2019, Albi, France.
      https://hal.archives-ouvertes.fr/hal-02157804
    • [39] A. Bart, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.archives-ouvertes.fr/hal-01555755
    • [40] A. Bart, C. Truchet, E. Monfroy. Contraintes sur des flux appliquées a la vérification de programmes audio. In Onzièmes Journées Francophones de Programmation par Contraintes, juin 2016, Bordeaux, France.
      https://hal.archives-ouvertes.fr/hal-01234179
    • [41] B. Belin, M. Christie, C. Truchet. Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project. In CompSust'12 - 3rd International Conference on Computational Sustainability, juillet 2012, Copenhagen, Danemark.
      https://hal.archives-ouvertes.fr/hal-00872981
    • [42] C. Truchet, D. Noguès, N. Jussien. Un modèle markovien pour GSAT et WalkSAT résultats préliminaires. In JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, juin 2008, Nantes, France.In Gilles Trombettoni (éds.), . , 2008.
      https://hal.inria.fr/inria-00292691
    • [43] M. Christie, J. Normand, C. Truchet. Calcul d'approximations intérieures pour la résolution de Max-NCSP. In Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France.
      https://hal.inria.fr/inria-00085801

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Autres publications (AUTRES)

    • [54] C. Barillot, I. Fijalkow, I. Queinnec, F. Theoleyre, H. Touzet, M. Beaudouin-Lafon, M. Cani, F. Chaumette, G. Conreur, V. Cortier, C. Gavoille, G. Gogniat, J. Gossa, A. Herzig, J. Krivine, P. Lamarre, F. Lamnabhi-Lagarrigue, A. Letournel, L. Seinturier, I. Tellier, S. Torres, C. Truchet, A. Tsoukias, M. Verleysen. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I). Rapport technique, 2018 ; CNRS.
      https://hal.archives-ouvertes.fr/hal-01956087
    • [56] N. Beldiceanu, M. Agren, M. Carlsson, M. Sbihi, C. Truchet, S. Zampelli. Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01.
      https://hal.archives-ouvertes.fr/hal-00481532
    • [57] N. Beldiceanu, E. Poder, R. Sadek, M. Carlsson, C. Truchet. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08..
      https://hal.archives-ouvertes.fr/hal-00481565
Copyright : LS2N 2017 - Mentions Légales - 
 -