Fixed-parameter tractability of satisfying beyond the number of variables. / Crowston, Robert; Gutin, Gregory; Jones, Mark; Raman, Venkatesh; Saurabh, Saket ; Yeo, Anders.

SAT 2012. 2012. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationSAT 2012
Publication statusAccepted/In press - 2012

Publication series

NameLecture Notes in Computer Science

ID: 4725671