TY  - RPRT
TI  - Fixed-parameter tractability of satisfying beyond the number of variables
AU  - R. Crowston
AU  - G. Gutin
AU  - M. Jones
AU  - V. Raman
AU  - S. Saurabh
AU  - A. Yeo
PY  - 2012
DO  - 10.1007/s00453-012-9697-4
UR  - https://arxiv.org/abs/1212.0106
ID  - 1212.0106
ER  -