Max-SAT with Cardinality Constraint Parameterized by the Number of Clauses.

Pallavi Jain, Lawqueen Kanesh, Fahad Panolan, Souvik Saha, Abhishek Sahu, Saket Saurabh, Anannya Upasana

Browse the full LATIN paper archive.