@inproceedings{Szeider13, author = {Stefan Szeider}, booktitle = {Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers}, doi = {10.1007/978-3-642-41524-1 2}, editor = {Hans Tompits and Salvador Abreu and Johannes Oetsch and J{ö}rg P{ü}hrer and Dietmar Seipel and Masanobu Umeda and Armin Wolf}, pages = {27-37}, publisher = {Springer Verlag}, series = {Lecture Notes in Computer Science}, title = {The Parameterized Complexity of Constraint Satisfaction and Reasoning}, volume = {7773}, year = {2013} }