Search for Author All Reviews
	Waack, Stephan     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       On the descriptive and algorithmic power of parity ordered binary decision diagrams Waack S. Information and Computation 166(1): 61-70, 2001.  Type: Article The ordered binary decision diagram (OBDD) is a data structure used for representing Boolean functions, which are often utilized for formal circuit verification. The author analyzes what he calls the shared parity OBDD. He presents an ...... Jun 1 2001     Separating the eraser Turing machine classes Le, NLe, co-NLe and Pe Krause M., Meinel C., Waack S. Theoretical Computer Science 86(2): 267-275, 1991.  Type: Article The authors have studied many variants of branching programs in a series of papers. Here, they study read-once branching programs, corresponding to logarithmic space-bounded Turing machines that erase each input bit after reading it (e...... Jul 1 1992
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy