TASC research team - bibliography

Author: Charlotte Truchet

Prediction of Parallel Speed-ups for Las Vegas Algorithms (2013).
Charlotte Truchet Florian Richoux Philippe Codognet 2013 International Conference on Parallel Processing (ICPP'13),
La recherche locale pour la pr\'{e}-programmation d'environnements urbains durables (2013). [paper]
Bruno Belin Marc Christie Charlotte Truchet Actes JFPC 2013,
When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent (2013).
Jérémie Du Boisberranger Danièle Gardy Xavier Lorca Charlotte Truchet Proceedings of the 10th Meeting on Analytic Algorithmics and Combinatorics (ANALCO2013), New Orleans, Louisiana, USA. pp. 80-90.
A Constraint Solver based on Abstract Domains (2013).
Marie Pelleau Antoine Mine Charlotte Truchet Frederic Benhamou 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI2013), Romas, Italy. Lecture Notes in Computer Science

Octagonal Domains for Continuous Constraints (2011).
Marie Pelleau Charlotte Truchet Frédéric Benhamou 17th International Conference on Principles and Practice of Constraint Programming (CP'11), Perrugia, Italy. Lecture Notes in Computer Science
Constraint Programming in Music (2011). [url]
Charlotte Truchet and Gérard Assayag (ed.), ISTE/Wiley, ISBN 978-1-84821-288-6.
Au-delà des produits cartésiens de domaines : l'exemple des octogones (2011).
Marie Pelleau Charlotte Truchet Frédéric Benhamou 7èmes Journées Francophones de Programmation par Contraintes (JFPC'11),

Abstract Domains for Constraint Programming, with the Example of Octagons (2010). [doi]
Charlotte Truchet Marie Pelleau Frédéric Benhamou 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 72-79.

Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [hal] [doi] [slides]
Magnus \rAgren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), Pittsburgh, USA. Lecture Notes in Computer Science 5547: 11--25.
Sonet Network Design Problems (2009). [hal] [doi]
Marie Pelleau Pascal Van Hentenryck Charlotte Truchet 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09), pp. 81-95.
Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009). [paper]
Magnus \rAgren Nicolas Beldiceanu Mats Carlsson Mohammed Sbihi Charlotte Truchet Stéphane Zampelli Technical report T2009-01, Swedish Institute of Computer Science.

A tabu search method for interval constraints (2008). [hal]
Charlotte Truchet Marc Christie Jean-Marie Normand 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'08), Paris, France. Lecture Notes in Computer Science 5015: 372--376.
Un modèle markovien pour GSAT et WalkSAT -- résultats préliminaires (2008). [hal] [paper]
Charlotte Truchet Damien Noguès Narendra Jussien 4èmes Journées Francophones de Programmation par Contraintes (JFPC'08), Nantes, France. pp. 327--336.

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [hal] [paper] [slides]
Nicolas Beldiceanu Mats Carlsson Emmanuel Poder Rida Sadek Charlotte Truchet 13th International on Principles and Practice of Constraint Programming (CP'07), Brown, USA. Lecture Notes in Computer Science 4741: 180--194.
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects (2007). [paper]
Nicolas Beldiceanu Emmanuel Poder Rida Sadek Mats Carlsson Charlotte Truchet Technical report T2007-08, Swedish Institute of Computer Science.

Calcul d'approximation intérieure pour la résolution de CSPs numériques (2006). [hal]
Marc Christie Jean-Marie Normand Charlotte Truchet 2èmes Journées Francophones de Programmation par Contraintes (JFPC'06), Nîmes, France.

Graph Invariants as Necessary Conditions for Global Constraints (2005).
Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet 11th International Conference on Principles and Practice of Constraint Programming (CP'05), Sitges, Spain. Lecture Notes in Computer Science 3709: 92-106.
A musical overconstrained CSP and its cost-functions issues (2005).
Charlotte Truchet Conference of the International Federation of Operational Research Societies (IFORS'05),
Tearing Customers Apart for solving PSP-SOS (2005).
Charlotte Truchet Jérémie Bourdon Philippe Codognet IJCAI'05 Constraint Modelling Challenge Entry, Edinburgh, Great Britain.
Graph Invariants as Necessary Conditions for Global Constraints (2005). [paper]
Nicolas Beldiceanu Mats Carlsson Jean-Xavier Rampon Charlotte Truchet Technical report T2005-07, Swedish Institute of Computer Science.

Solving Musical Constraints with Adaptive Search (2004).
Charlotte Truchet Philippe Codognet Soft Computing 8(9): 633-640.

Visual and Adaptive Constraint Programming in Music (2001).
Charlotte Truchet Gérard Assayag Philippe Codognet (ICMC'01),