A very simple function that requires exponential size nondeterministic graph-driven read-once branching programs (Q1007589): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Time-space tradeoffs, multiparty communication complexity, and nearest-neighbor problems
+Normal rank
@@ Property / cites work @@
+Restricted Nondeterministic Read-Once Branching Programs and an Exponential Lower Bound for Integer Multiplication
+Normal rank
@@ Property / cites work @@
+Q4418658
@@ Property / cites work: Q4418658 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708564
@@ Property / cites work: Q4708564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779145
@@ Property / cites work: Q4779145 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4281560
@@ Property / cites work: Q4281560 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Boolean manipulation with OBDD's can be extended to FBDD's
+Normal rank
@@ Property / cites work @@
+Q4337605
@@ Property / cites work: Q4337605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3352967
@@ Property / cites work: Q3352967 / rank @@
+Normal rank
@@ Property / cites work @@
+On P versus NP\(\cap\)co-NP for decision trees and read-once branching programs
+Normal rank
@@ Property / cites work @@
+Q4737247
@@ Property / cites work: Q4737247 / rank @@
+Normal rank
@@ Property / cites work @@
+Separating the eraser Turing machine classes \(L_ e\), \(NL_ e\), \(co- NL_ e\) and \(P_ e\)
+Normal rank
@@ Property / cites work @@
+Communication Complexity
@@ Property / cites work: Communication Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Graph driven BDDs -- a new data structure for Boolean functions
+Normal rank
@@ Property / cites work @@
+A comparison of free BDDs and transformed BDDs
@@ Property / cites work: A comparison of free BDDs and transformed BDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0020-0190(02)00486-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2026323912
@@ Property / OpenAlex ID: W2026323912 / rank @@
+Normal rank