Symbolic graphs: Linear solutions to connectivity related problems (Q2471809): Difference between revisions

@@ Property / author @@
-Alberto Policriti
@@ Property / author: Alberto Policriti / rank @@
-Normal rank
@@ Property / author @@
+Alberto Policriti
@@ Property / author: Alberto Policriti / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Algorithm 447
@@ Property / describes a project that uses: Algorithm 447 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CUDD
@@ Property / describes a project that uses: CUDD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VIS
@@ Property / describes a project that uses: VIS / 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/s00453-007-9079-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2125161077
@@ Property / OpenAlex ID: W2125161077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091421
@@ Property / cites work: Q4091421 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+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 @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+Binary decision diagrams in theory and practice
@@ Property / cites work: Binary decision diagrams in theory and practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267798
@@ Property / cites work: Q4267798 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation minimization and symbolic model checking
+Normal rank
@@ Property / cites work @@
+Algorithms and Computation
@@ Property / cites work: Algorithms and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471346
@@ Property / cites work: Q4471346 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219538
@@ Property / cites work: Q4219538 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms and Computation
@@ Property / cites work: Algorithms and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2004: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Graph-Theoretic Concepts in Computer Science
@@ Property / cites work: Graph-Theoretic Concepts in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of reactive systems. Formal methods and algorithms.
+Normal rank
@@ Property / cites work @@
+The nonapproximability of OBDD minimization
@@ Property / cites work: The nonapproximability of OBDD minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934627
@@ Property / cites work: Q4934627 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing language containment for \(\omega\)-automata using BDDs
+Normal rank
@@ Property / cites work @@
+BDDs -- design, analysis, complexity, and applications.
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2471809