Symbolic graphs: Linear solutions to connectivity related problems
From MaRDI portal
(Redirected from Publication:2471809)
Recommendations
Cites work
- Algorithms and Computation
- Algorithms and Computation
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
- BDDs -- design, analysis, complexity, and applications.
- Binary Decision Diagrams
- Binary decision diagrams in theory and practice
- Bisimulation minimization and symbolic model checking
- Depth-First Search and Linear Graph Algorithms
- Graph-Based Algorithms for Boolean Function Manipulation
- Graph-Theoretic Concepts in Computer Science
- scientific article; zbMATH DE number 5542185 (Why is no real title available?)
- scientific article; zbMATH DE number 3511563 (Why is no real title available?)
- scientific article; zbMATH DE number 1220670 (Why is no real title available?)
- scientific article; zbMATH DE number 1351076 (Why is no real title available?)
- scientific article; zbMATH DE number 1142314 (Why is no real title available?)
- scientific article; zbMATH DE number 2079387 (Why is no real title available?)
- scientific article; zbMATH DE number 1390338 (Why is no real title available?)
- Improving the variable ordering of OBDDs is NP-complete
- Mathematical Foundations of Computer Science 2003
- SOFSEM 2004: Theory and Practice of Computer Science
- Symbolic model checking: \(10^{20}\) states and beyond
- Testing language containment for \(\omega\)-automata using BDDs
- The nonapproximability of OBDD minimization
- Verification of reactive systems. Formal methods and algorithms.
Cited in
(27)- Randomized OBDD-based graph algorithms
- Exponential space complexity for OBDD-based reachability analysis
- Symbolic coloured SCC decomposition
- Priority functions for the approximation of the metric TSP
- Symbolic topological sorting with OBDDs
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
- Implicit computation of maximum bipartite matchings by sublinear functional operations
- On the OBDD representation of some graph classes
- Randomized OBDD-based graph algorithms
- scientific article; zbMATH DE number 5177458 (Why is no real title available?)
- On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem
- Larger Lower Bounds on the OBDD Complexity of Integer Multiplication
- On symbolic OBDD-based algorithms for the minimum spanning tree problem
- scientific article; zbMATH DE number 2079387 (Why is no real title available?)
- Lower bounds for symbolic computation on graphs: strongly connected components, liveness, safety, and diameter
- On efficient implicit OBDD-based algorithms for maximal matchings
- Implicit computation of maximum bipartite matchings by sublinear functional operations
- scientific article; zbMATH DE number 7566051 (Why is no real title available?)
- Algorithms and Computation
- Mathematical Foundations of Computer Science 2003
- Representation of graphs and its algorithms based on BDD
- Larger lower bounds on the OBDD complexity of integer multiplication
- Graph-Theoretic Concepts in Computer Science
- Fine-grained complexity lower bounds for problems in computer aided verification
- A truly symbolic linear-time algorithm for SCC decomposition
- How to determine the solvability of bond graph linear junction structures
- On the size of (generalized) OBDDs for threshold functions
This page was built for publication: Symbolic graphs: Linear solutions to connectivity related problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2471809)
