Max-SAT with cardinality constraint parameterized by the number of clauses - Jain, Pallavi; Kanesh, Lawqueen; Panolan, Fahad; Saha, Souvik; Sahu, Abhishek; Saurabh, Saket; Upasana, Anannya (Theoretical computer science, 2025)
Keywords: FPT; Kernel; Max-SAT; Parameterized algorithms; Parameterized algorithms; FPT; Max-SAT; Kernel