Randomized OBDD-Based Graph Algorithms (Q3460720): Difference between revisions

@@ Property / describes a project that uses @@
+SparseMatrix
@@ Property / describes a project that uses: SparseMatrix / rank @@
+Normal rank
@@ 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-319-25258-2_18
+Normal rank
@@ Property / OpenAlex ID @@
+W2295004524
@@ Property / OpenAlex ID: W2295004524 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast and simple randomized parallel algorithm for the maximal independent set problem
+Normal rank
@@ Property / cites work @@
+Simple Constructions of Almost k-wise Independent Random Variables
+Normal rank
@@ Property / cites work @@
+The space complexity of approximating the frequency moments
+Normal rank
@@ Property / cites work @@
+An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
+Normal rank
@@ Property / cites work @@
+On symbolic OBDD-based algorithms for the minimum spanning tree problem
+Normal rank
@@ Property / cites work @@
+Priority functions for the approximation of the metric TSP
+Normal rank
@@ Property / cites work @@
+Implicit Computation of Maximum Bipartite Matchings by Sublinear Functional Operations
+Normal rank
@@ Property / cites work @@
+On the effect of local changes in the variable ordering of ordered decision diagrams
+Normal rank
@@ Property / cites work @@
+On efficient implicit OBDD-based algorithms for maximal matchings
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+On the power of two-point based sampling
@@ Property / cites work: On the power of two-point based sampling / rank @@
+Normal rank
@@ Property / cites work @@
+Q4886040
@@ Property / cites work: Q4886040 / rank @@
+Normal rank
@@ Property / cites work @@
+The university of Florida sparse matrix collection
+Normal rank
@@ Property / cites work @@
+Q4471346
@@ Property / cites work: Q4471346 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic graphs: Linear solutions to connectivity related problems
+Normal rank
@@ Property / cites work @@
+OBDD-Based Representation of Interval Graphs
@@ Property / cites work: OBDD-Based Representation of Interval Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A fast and simple randomized parallel algorithm for maximal matching
+Normal rank
@@ Property / cites work @@
+Entropy of contact circuits and lower bounds on their complexity
+Normal rank
@@ Property / cites work @@
+Almost \(k\)-wise independence and hard Boolean functions.
+Normal rank
@@ Property / cites work @@
+Locality in Distributed Graph Algorithms
@@ Property / cites work: Locality in Distributed Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A Simple Parallel Algorithm for the Maximal Independent Set Problem
+Normal rank
@@ Property / cites work @@
+On the OBDD size for graphs of bounded tree- and clique-width
+Normal rank
@@ Property / cites work @@
+An optimal bit complexity randomized distributed MIS algorithm
+Normal rank
@@ Property / cites work @@
+Small-Bias Probability Spaces: Efficient Constructions and Applications
+Normal rank
@@ Property / cites work @@
+Representation of graphs by OBDDs
@@ Property / cites work: Representation of graphs by OBDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Improved boolean formulas for the Ramsey graphs
@@ Property / cites work: Improved boolean formulas for the Ramsey graphs / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2004: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+SOFSEM 2006: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Exponential Lower Bounds on the Space Complexity of OBDD-Based Graph Algorithms
+Normal rank
@@ Property / cites work @@
+The size of reduced OBDD's and optimal read-once branching programs for almost all Boolean functions
+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 @@
+Symbolic topological sorting with OBDDs
@@ Property / cites work: Symbolic topological sorting with OBDDs / rank @@
+Normal rank