Satisfiability Algorithm for Syntactic Read-$k$-times Branching Programs.

Atsuki Nagao, Kazuhisa Seto, Junichi Teruyama

Browse the full ISAAC paper archive.