Fixed-Parameter Tractability of Satisfying beyond the Number of Variables

From MaRDI portal
Publication:2843339