Paradigms for Parameterized Enumeration

Nadia Creignou 1 Arne Meier 2 Julian-Steffen Mülller Johannes Schmidt Heribert Vollmer 2
1 LIS - Laboratoire d'Informatique et Systèmes
2 LUH - Leibniz Universität Hannover [Hannover]
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

Identifiers

  • HAL Id : hal-01786353, version 1

Collections

UNIV-TLN | UNIV-AMU | LIS-LAB

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

67

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD