Fixed-parameter tractability of satisfying beyond the number of variables

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

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
PublisherSpringer

Cite this