1825
2007
eng
17
21
1
102
article
1
2017-02-28
--
--
On approximation by ⊕-OBDDs
Information Processing Letters
10.1016/j.ipl.2006.10.011
1872-6119 (Online)
0020-0190 (Print)
Henrik Brosenne
Carsten Damm
Matthias Homeister
Stephan Waack
eng
uncontrolled
Computational complexity
eng
uncontrolled
Nondeterministic OBDD
eng
uncontrolled
Parity OBDD
eng
uncontrolled
Approximation
Datenverarbeitung; Informatik
Hochschulbibliografie
1827
2006
eng
6
10
1
98
article
1
2017-02-28
--
--
Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance
Information Processing Letters
10.1016/j.ipl.2005.11.011
1872-6119 (Online)
0020-0190 (Print)
Henrik Brosenne
Matthias Homeister
Stephan Waack
eng
uncontrolled
Computational complexity
eng
uncontrolled
Theory of computation
eng
uncontrolled
Branching programs
eng
uncontrolled
Ordered binary decision diagrams with repeated tests
eng
uncontrolled
Existential, universal, parity, and majority acceptance mode
Datenverarbeitung; Informatik
Hochschulbibliografie