CITATION STYLE
Szeider, S. (2008). Parameterized SAT. In Encyclopedia of Algorithms (pp. 639–640). Springer US. https://doi.org/10.1007/978-0-387-30162-4_283
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley