A Generalization of Spira’s Theorem and Circuits with Small Segregators or Separators (Q2891374): 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.1007/978-3-642-27660-6_22
+Normal rank
@@ Property / OpenAlex ID @@
+W1492702334
@@ Property / OpenAlex ID: W1492702334 / rank @@
+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 @@
+On Relating Time and Space to Size and Depth
@@ Property / cites work: On Relating Time and Space to Size and Depth / rank @@
+Normal rank
@@ Property / cites work @@
+The Parallel Evaluation of General Arithmetic Expressions
+Normal rank
@@ Property / cites work @@
+Size-Depth Tradeoffs for Algebraic Formulas
@@ Property / cites work: Size-Depth Tradeoffs for Algebraic Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331740
@@ Property / cites work: Q4331740 / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal Parallel Algorithm for Formula Evaluation
+Normal rank
@@ Property / cites work @@
+One-Input-Face MPCVP Is Hard for L, But in LogDCFL
+Normal rank
@@ Property / cites work @@
+Speedups of deterministic machines by synchronous parallel machines
+Normal rank
@@ Property / cites work @@
+The Size and Depth of Layered Boolean Circuits
@@ Property / cites work: The Size and Depth of Layered Boolean Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+A separator theorem for graphs of bounded genus
@@ Property / cites work: A separator theorem for graphs of bounded genus / rank @@
+Normal rank
@@ Property / cites work @@
+Balancing Bounded Treewidth Circuits
@@ Property / cites work: Balancing Bounded Treewidth Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Upper bounds for monotone planar circuit value and variants
+Normal rank
@@ Property / cites work @@
+A Separator Theorem for Planar Graphs
@@ Property / cites work: A Separator Theorem for Planar Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Log Space Recognition and Translation of Parenthesis Languages
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Circuit size is nonlinear in depth
@@ Property / cites work: Circuit size is nonlinear in depth / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. II. Algorithmic aspects of tree-width
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Fast Parallel Computation of Polynomials Using Few Processors
+Normal rank
@@ Property / cites work @@
+Relating monotone formula size and monotone depth of Boolean functions
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank