Fixed-parameter tractability of satisfying beyond the number of variables

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	Lecture Notes in Computer Science
Publisher	Springer

Cite this

@inproceedings{6dff85dc750e4618b15e837deda677d5,

title = "Fixed-parameter tractability of satisfying beyond the number of variables",

author = "Robert Crowston and Gregory Gutin and Mark Jones and Venkatesh Raman and Saket Saurabh and Anders Yeo",

year = "2012",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "SAT 2012",

}