Fixed-Parameter Tractability of Satisfying beyond the Number of Variables.

Robert Crowston, Gregory Z. Gutin, Mark Jones, Venkatesh Raman, Saket Saurabh, Anders Yeo

Browse the full SAT paper archive.