Branching program size is almost linear in formula size (Q5956012): Difference between revisions

@@ Property / cites work @@
+Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\)
+Normal rank
@@ Property / cites work @@
+Size-depth tradeoffs for Boolean formulae
@@ Property / cites work: Size-depth tradeoffs for Boolean formulae / rank @@
+Normal rank
@@ Property / cites work @@
+Towards optimal simulations of formulas by bounded-width programs
+Normal rank
@@ Property / cites work @@
+Q3924096
@@ Property / cites work: Q3924096 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251042
@@ Property / cites work: Q4251042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank