A Satisfiability Algorithm for Deterministic Width-2 Branching Programs. - Tomu Makita; Atsuki Nagao; Tatsuki Okada; Kazuhisa Seto; Junichi Teruyama (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)