On the parameterized complexity of monotone and antimonotone weighted circuit satisfiability
Kanj, Iyad ; Thilikos, Dimitrios M. ; Xia, Ge
Information and computation, 2017-12, Vol.257 (139-156), p.139-156
[Periódico revisado por pares]
Elsevier Inc
Texto completo disponível