Login / Signup

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

Pallavi JainLawqueen KaneshFahad PanolanSouvik SahaAbhishek SahuSaket SaurabhAnannya Upasana
Published in: LATIN (2) (2024)
Keyphrases
  • max sat
  • database
  • optimal solution
  • computational complexity
  • special case
  • linear programming
  • constraint satisfaction