- Titre
- Compiling CSPs into tree-driven automata for interactive solving
- Créateurs - sans rôle
- Hélène Fargier - Centre National de la Recherche ScientifiqueMarie-Catherine Vilarem - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Détails de publication
- 3rd International Workshop on User-Interaction in Constraint Satisfaction@ CP2003, pp.Session 2: User-Interaction for the Real-world
- Colloque
- 3rd International Workshop on User-Interaction in Constraint Satisfaction@ CP2003 (Kingsale, Ireland, 29/09/2003)
- Identifiants
- 9937705409311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Langue
- English
- Type de ressource
- Conference proceeding
- Champs locaux
- hal-04269866
Acte de colloque
Compiling CSPs into tree-driven automata for interactive solving
3rd International Workshop on User-Interaction in Constraint Satisfaction@ CP2003, pp.Session 2: User-Interaction for the Real-world
3rd International Workshop on User-Interaction in Constraint Satisfaction@ CP2003 (Kingsale, Ireland, 29/09/2003)
10/2003
Indicateurs
1 Consultations de la notice