Kazuhisa Seto, Junichi Teruyama. An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability. IEICE Transactions, 99-A(6):1019-1024, 2016. [doi]
@article{SetoT16,
title = {An Exact Algorithm for Oblivious Read-Twice Branching Program Satisfiability},
author = {Kazuhisa Seto and Junichi Teruyama},
year = {2016},
url = {http://search.ieice.org/bin/summary.php?id=e99-a_6_1019},
researchr = {https://researchr.org/publication/SetoT16},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {99-A},
number = {6},
pages = {1019-1024},
}