Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance (Q844146): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2005.11.011
+Normal rank
@@ Property / OpenAlex ID @@
+W1964040754
@@ Property / OpenAlex ID: W1964040754 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs
@@ Property / cites work: Hierarchy theorems for \(k\)OBDDs and \(k\)IBDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Meanders and their applications in lower bounds arguments
+Normal rank
@@ Property / cites work @@
+Lower bounds for depth-restricted branching programs
+Normal rank
@@ Property / cites work @@
+On oblivious branching programs of linear length
@@ Property / cites work: On oblivious branching programs of linear length / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty protocols, pseudorandom generators for Logspace, and time- space trade-offs
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4337605
@@ Property / cites work: Q4337605 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication Complexity
@@ Property / cites work: Communication Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Rounds in Communication Complexity Revisited
@@ Property / cites work: Rounds in Communication Complexity Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+On relations between counting communication complexity classes
+Normal rank
@@ Property / cites work @@
+The power of nondeterminism and randomness for oblivious branching programs
+Normal rank
@@ Property / cites work @@
+Q4542589
@@ Property / cites work: Q4542589 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:844146