C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Fixed-Parameter Tractability of Satisfying beyond the Number of Variables.
Robert Crowston
Gregory Z. Gutin
Mark Jones
Venkatesh Raman
Saket Saurabh
Anders Yeo
Published in:
SAT (2012)
Keyphrases
</>
special case