Max-SAT with cardinality constraint parameterized by the number of clauses. (English) Zbl 07857873
Soto, José A. (ed.) et al., Latin 2024: theoretical informatics. 16th Latin American symposium, Puerto Varas, Chile, March 18–22, 2024. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14579, 223-237 (2024).