On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability

Iyad A. Kanj, Dimitrios M. Thilikos, Ge Xia. On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability. Inf. Comput., 257:139-156, 2017. [doi]

Abstract

Abstract is missing.