Parameterized and Subexponential-Time Complexity of Satisfiability Problems and Applications.

Iyad A. Kanj, Stefan Szeider

Browse the full COCOA paper archive.