@article{KanjSzeider15,
 author = {Iyad A. Kanj and
Stefan Szeider},
 doi = {10.1016/j.tcs.2015.08.029},
 journal = {Theoretical Computer Science},
 pages = {282--295},
 title = {Parameterized and subexponential-time complexity of
satisfiability problems and applications},
 url = {http://dx.doi.org/10.1016/j.tcs.2015.08.029},
 volume = {607},
 year = {2015}
}