Complexity of deciding the satisfiability of a quasi-monotone CNF formula
-
30-10-2019 - |
题
A quasi-monotone CNF formula is a formula where each variable appears at most once as a positive literal (and any number of times as a negative literal).
What is the complexity of deciding its satisfiability?
没有正确的解决方案
不隶属于 cs.stackexchange