Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
0 answers
111 views

The parameterized complexity of Weighted-CNF-SAT parameterized by the number of clauses

What is the parameterized complexity of Weighted-CNF-SAT, when parameterized by the number of clauses? Input: A CNF formula $\phi$ with $m$ clauses and $n$ variables, and an integer $k$. Parameter: $m$...
user3445340's user avatar