@article{0a6d14ed59f64a1a832db26827cd18bf,
title = "Parameterized and subexponential-time complexity of satisfiability problems and applications",
keywords = "Circuit satisfiability, Parameterized complexity, Subexponential-time complexity",
author = "Iyad Kanj and Stefan Szeider",
note = "Publisher Copyright: {\textcopyright} 2015 Elsevier B.V.",
year = "2015",
month = nov,
day = "1",
doi = "10.1016/j.tcs.2015.08.029",
language = "English",
volume = "607",
pages = "282--295",
journal = "Theoretical Computer Science",
issn = "0304-3975",
}