Pallavi Jain 0001, Lawqueen Kanesh, Fahad Panolan, Souvik Saha, Abhishek Sahu, Saket Saurabh 0001, Anannya Upasana. Max-SAT with Cardinality Constraint Parameterized by the Number of Clauses. In José A. Soto, Andreas Wiese, editors, LATIN 2024: Theoretical Informatics - 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II. Volume 14579 of Lecture Notes in Computer Science, pages 223-237, Springer, 2024. [doi]
Abstract is missing.