On MAX–SAT with cardinality constraint

Autor: Panolan, Fahad, Yaghoubizade, Hannane
Zdroj: In Theoretical Computer Science 2 February 2025 1025
Databáze: ScienceDirect