@incollection{SamerSzeider08c,
 author = {Marko Samer and Stefan Szeider},
 booktitle = {Handbook of Satisfiability, 2nd Edition},
 chapter = {17},
 doi = {10.3233/FAIA201000},
 editor = {Armin Biere and Marijn Heule and 
Hans van Maaren and Toby Walsh},
 pages = {693--736},
 publisher = {IOS Press},
 title = {Fixed-Parameter Tractability},
 url = {https://www.ac.tuwien.ac.at/files/tr/ac-tr-21-004.pdf},
 year = {2021}
}