Fixed-Parameter Tractability of Satisfying Beyond the Number of Variables.

Published in: Algorithmica (2014)

Keyphrases