scientific article; zbMATH DE number 2079387
From MaRDI portal
Publication:4471346
Recommendations
Cited in
(39)- On the OBDD size for graphs of bounded tree- and clique-width
- I/O- and CPU-optimal recognition of strongly connected components
- On finding the strongly connected components in a directed graph
- Randomized OBDD-based graph algorithms
- Exponential space complexity for OBDD-based reachability analysis
- A simplified correctness proof for a well-known algorithm computing strongly connected components.
- An efficient algorithm for computing bisimulation equivalence
- Symbolic coloured SCC decomposition
- Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
- Finding strongly connected components of simple digraphs based on granulation strategy
- Comparative study and proof of single-pass connected components algorithms
- New results on the most significant bit of integer multiplication
- Symbolic graphs: Linear solutions to connectivity related problems
- An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
- Compositional SCC analysis for language emptiness
- From complementation to certification
- Improved distributed algorithms for SCC decomposition
- Implicit computation of maximum bipartite matchings by sublinear functional operations
- On the OBDD representation of some graph classes
- Randomized OBDD-based graph algorithms
- The quest for a tight translation of Büchi to co-Büchi automata
- On the OBDD Complexity of Threshold Functions and the Variable Ordering Problem
- Larger Lower Bounds on the OBDD Complexity of Integer Multiplication
- scientific article; zbMATH DE number 1979545 (Why is no real title available?)
- On symbolic OBDD-based algorithms for the minimum spanning tree problem
- Lower bounds for symbolic computation on graphs: strongly connected components, liveness, safety, and diameter
- A Very Fast Algorithm for Simultaneously Performing Connected-Component Labeling and Euler Number Computing
- 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?)
- Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components
- Algorithms and Computation
- Automata-Theoretic Model Checking Revisited
- Larger lower bounds on the OBDD complexity of integer multiplication
- A truly symbolic linear-time algorithm for SCC decomposition
- Computing bottom SCCs symbolically using transition guided reduction
- Lower bounds on the OBDD size of two fundamental functions' graphs
- A note on the size of OBDDs for the graph of integer multiplication
- On the size of (generalized) OBDDs for threshold functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471346)
