Skip to main content

1 Result(s)

within Lawqueen Kanesh Remove this filter Computer Applications Remove this filter

and

  1. No Access

    Chapter and Conference Paper

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

    Max-SAT with cardinality constraint (CC-Max-SAT) is one of the classical NP-complete problems. In this problem, given a CNF-formula $$\varPhi ...

    Pallavi Jain, Lawqueen Kanesh, Fahad Panolan… in LATIN 2024: Theoretical Informatics (2024)