.:. Consultation > Liste par auteur du laboratoire > Truchet .:.

9 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

A constraint solver based on abstract domains Pelleau M., Miné A., Truchet C., Benhamou F. In Proceedings of The 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13) - VMCAI'13 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Italy (2013) [hal-00748096 - version 1]

Sonet Network Design Problems Pelleau M., Van Hentenryck P., Truchet C. Dans EPTCS 5 - 6th International Workshop on Local Search Techniques in Constraint Satisfaction, France (2009) [hal-00482523 - version 1]

Six Ways of Integrating Symmetries within Non-Overlapping Constraints, SICS Technical report T2009-01 Beldiceanu N., Agren M., Carlsson M., Sbihi M., Truchet C., Zampelli S. Six Ways of Integrating Symmetries within Non-Overlapping Constraints (2009) [hal-00481532 - version 1]

Six Ways of Integrating Symmetries within Non-Overlapping Constraints Beldiceanu N., Carlsson M., Sbihi M., Truchet C., Zampelli S., Agren M. In 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09) - 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR'09), United States (2009) [hal-00481521 - version 1]

A tabu search method for interval constraints Truchet C., Christie M., Normand J.-M. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, France (2008) [hal-00482527 - version 1]

Un modèle markovien pour GSAT et WalkSAT résultats préliminaires Truchet C., Noguès D., Jussien N. JFPC 2008- Quatrièmes Journées Francophones de Programmation par Contraintes, France (2008) [inria-00292691 - version 1]

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08. Beldiceanu N., Poder E., Sadek R., Carlsson M., Truchet C. A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects. SICS technical report T2007-08. (2007) [hal-00481565 - version 1]

A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects Beldiceanu N., Carlsson M., Poder E., Sadek R., Truchet C. In 13th International on Principles and Practice of Constraint Programming (CP'07) - 13th International on Principles and Practice of Constraint Programming (CP'07), United States (2007) [hal-00481558 - version 1]

The Adaptive Search Method for Constraint Solving and its application to musical CSPs Codognet P., Diaz D., Truchet C. Dans International Workshop on Heuristics - International Workshop on Heuristics, Chine (2002) [hal-00668300 - version 1]