Details
| Original language | English |
|---|---|
| Pages (from-to) | 454-490 |
| Journal | Theory Comput. Syst. |
| Volume | 47 |
| Issue number | 2 |
| Publication status | Published - 2010 |
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
The Complexity of Problems for Quantified Constraints. / Bauland, Michael; Böhler, Elmar; Creignou, Nadia et al.
In: Theory Comput. Syst., Vol. 47, No. 2, 2010, p. 454-490.
In: Theory Comput. Syst., Vol. 47, No. 2, 2010, p. 454-490.
Research output: Contribution to journal › Article › Research › peer review
Bauland, M, Böhler, E, Creignou, N, Reith, S, Schnoor, H & Vollmer, H 2010, 'The Complexity of Problems for Quantified Constraints.', Theory Comput. Syst., vol. 47, no. 2, pp. 454-490. https://doi.org/10.1007/S00224-009-9194-6
Bauland, M., Böhler, E., Creignou, N., Reith, S., Schnoor, H., & Vollmer, H. (2010). The Complexity of Problems for Quantified Constraints. Theory Comput. Syst., 47(2), 454-490. https://doi.org/10.1007/S00224-009-9194-6
Bauland M, Böhler E, Creignou N, Reith S, Schnoor H, Vollmer H. The Complexity of Problems for Quantified Constraints. Theory Comput. Syst. 2010;47(2):454-490. doi: 10.1007/S00224-009-9194-6
Download
@article{f7006f6b015749cdbab7c486cb82141b,
title = "The Complexity of Problems for Quantified Constraints.",
author = "Michael Bauland and Elmar B{\"o}hler and Nadia Creignou and Steffen Reith and Henning Schnoor and Heribert Vollmer",
note = "Funding information: Supported in part by the following grants: DFG Vo 630/5-1, 630/5-2, {\'E}GIDE 05835SH, DAAD D/0205776.",
year = "2010",
doi = "10.1007/S00224-009-9194-6",
language = "English",
volume = "47",
pages = "454--490",
journal = "Theory Comput. Syst.",
issn = "1433-0490",
publisher = "Springer New York",
number = "2",
}
Download
TY - JOUR
T1 - The Complexity of Problems for Quantified Constraints.
AU - Bauland, Michael
AU - Böhler, Elmar
AU - Creignou, Nadia
AU - Reith, Steffen
AU - Schnoor, Henning
AU - Vollmer, Heribert
N1 - Funding information: Supported in part by the following grants: DFG Vo 630/5-1, 630/5-2, ÉGIDE 05835SH, DAAD D/0205776.
PY - 2010
Y1 - 2010
U2 - 10.1007/S00224-009-9194-6
DO - 10.1007/S00224-009-9194-6
M3 - Article
VL - 47
SP - 454
EP - 490
JO - Theory Comput. Syst.
JF - Theory Comput. Syst.
SN - 1433-0490
IS - 2
ER -