On MAX-SAT with cardinality constraint

Fahad Panolan, Hannane Yaghoubizade. On MAX-SAT with cardinality constraint. Theoretical Computer Science, 1025:114971, 2025. [doi]

Abstract

Abstract is missing.