Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama. Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs. In Yoshio Okamoto, Takeshi Tokuyama, editors, 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand. Volume 92 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]
Abstract is missing.