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

Forthcoming

Standard

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

Harvard

Crowston, R, Gutin, G, Jones, M, Raman, V, Saurabh, S & Yeo, A 2012, Fixed-parameter tractability of satisfying beyond the number of variables. in SAT 2012. Lecture Notes in Computer Science.

APA

Crowston, R., Gutin, G., Jones, M., Raman, V., Saurabh, S., & Yeo, A. (Accepted/In press). Fixed-parameter tractability of satisfying beyond the number of variables. In SAT 2012 (Lecture Notes in Computer Science).

Vancouver

Crowston R, Gutin G, Jones M, Raman V, Saurabh S, Yeo A. Fixed-parameter tractability of satisfying beyond the number of variables. In SAT 2012. 2012. (Lecture Notes in Computer Science).

Author

Crowston, Robert ; Gutin, Gregory ; Jones, Mark ; Raman, Venkatesh ; Saurabh, Saket ; Yeo, Anders. / Fixed-parameter tractability of satisfying beyond the number of variables. SAT 2012. 2012. (Lecture Notes in Computer Science).

BibTeX

@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",

}

RIS

TY - GEN

T1 - Fixed-parameter tractability of satisfying beyond the number of variables

AU - Crowston, Robert

AU - Gutin, Gregory

AU - Jones, Mark

AU - Raman, Venkatesh

AU - Saurabh, Saket

AU - Yeo, Anders

PY - 2012

Y1 - 2012

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

BT - SAT 2012

ER -