![](/img/cover-not-exists.png)
Parameterized and subexponential-time complexity of satisfiability problems and applications
Kanj, Iyad, Szeider, StefanVolume:
607
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2015.08.029
Date:
November, 2015
File:
PDF, 526 KB
english, 2015