Abu-Khzam, Faisal N.; Makarian, Chrisitne; Li, Shouwei; Podlipyan, Pavel
(Springer, 2017-03-22)
We present an efficient parallel algorithm for the general Monotone Circuit Value Problem (MCVP) with n gates and an underlying graph of bounded genus k. Our algorithm generalizes a recent result by Limaye et al. who showed ...