Fixed-Parameter Tractable Reductions to SAT.

Ronald de Haan, Stefan Szeider

Browse the full SAT paper archive.