 |
Journal articles
Paradigms for Parameterized Enumeration
Nadia Creignou 1
Author
Arne Meier 2
Author
Julian-Steffen Mülller
Author Employer institution : Leibniz Universität Hannover [Hannover]
Johannes Schmidt
Author Employer institution : Jönköping University [Sweden]
Heribert Vollmer 2
Author
1
LIS - Laboratoire d'Informatique et Systèmes (Aix Marseille Université – Campus de Saint Jérôme – Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)
- AMU - Aix Marseille Université : UMR7020 (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France)
- UTLN - Université de Toulon : UMR7020 (Avenue de l'Université - BP 20132 - 83957 La Garde Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7020 (France)
2
LUH - Leibniz Universität Hannover [Hannover] (Gottfried Wilhelm Leibniz Universität Hannover Welfengarten 1 D-30167 Hannover - Germany)
Document type :
Journal articles
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01786353
Contributor : Nadia Creignou <>
Submitted on : Saturday, May 5, 2018 - 2:05:26 PM
Last modification on : Sunday, November 25, 2018 - 2:02:17 PM
Contributor : Nadia Creignou <>
Submitted on : Saturday, May 5, 2018 - 2:05:26 PM
Last modification on : Sunday, November 25, 2018 - 2:02:17 PM
Identifiers
- HAL Id : hal-01786353, version 1
Citation
Nadia Creignou, Arne Meier, Julian-Steffen Mülller, Johannes Schmidt, Heribert Vollmer. Paradigms for Parameterized Enumeration. Theory of Computing Systems, Springer Verlag, 2017, 60 (4), pp.737--758. ⟨hal-01786353⟩
Metrics
Record views