@inproceedings{6bf818eeea6a47348e11cc2c35bc46f3,
title = "Efficient conversion of boolean circuits to nondeterministic branching programs",
abstract = "Two models to realize boolean functions exist: Boolean circuits (BCs) a DAG of and/or/not-gates and Branching programs (BPs) a network of switching nodes wherein signals propagate through the switched nodes. Evaluation of BCs is inherently sequential (Based on the common belief that P neq NC) while BPs can be evaluated in parallel by verifying connectivity between the source and the sync nodes of an equivalent BP. This suggests a way to parallelize or evaluate in parallel inherently sequential computations (ISCs) by compiling them to BCs and then convert them to BPs. Our results suggest that BCs emanating from real computations can be converted to-BPs with no size blowup compare to the size of the original BC and in fact have a smaller size compared to the size of the original BCs.",
keywords = "Nondeterministic branching programs, Parallel BFS, Parallel evaluation",
author = "{Ben Asher}, Yosi and Vladislav Tartakovsky",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 33rd IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2019 ; Conference date: 20-05-2019 Through 24-05-2019",
year = "2019",
month = may,
doi = "10.1109/IPDPSW.2019.00111",
language = "American English",
series = "Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "655--662",
booktitle = "Proceedings - 2019 IEEE 33rd International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2019",
address = "United States",
}