On the OBDD size for graphs of bounded tree- and clique-width (Q1011721): Difference between revisions

@@ Property / DOI @@
-.1016/j.disc.2008.01.022
@@ Property / DOI: 10.1016/j.disc.2008.01.022 / 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.1016/j.disc.2008.01.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2087617949
@@ Property / OpenAlex ID: W2087617949 / rank @@
+Normal rank
@@ Property / cites work @@
+Easy problems for tree-decomposable graphs
@@ Property / cites work: Easy problems for tree-decomposable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of binary decision diagrams representing Boolean functions
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Complement reducible graphs
@@ Property / cites work: Complement reducible graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273871
@@ Property / cites work: Q4273871 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+Monadic second-order evaluations on tree-decomposable graphs
+Normal rank
@@ Property / cites work @@
+Upper bounds to the clique width of graphs
@@ Property / cites work: Upper bounds to the clique width of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4947393
@@ Property / cites work: Q4947393 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4267798
@@ Property / cites work: Q4267798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4471346
@@ Property / cites work: Q4471346 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms and Computation
@@ Property / cites work: Algorithms and Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Implicat Representation of Graphs
@@ Property / cites work: Implicat Representation of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Short encodings of planar graphs and maps
@@ Property / cites work: Short encodings of planar graphs and maps / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct representation of general unlabeled graphs
+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 @@
+Representing graphs implicitly using almost optimal space
+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 @@
+BDDs -- design, analysis, complexity, and applications.
+Normal rank
@@ Property / cites work @@
+Symbolic topological sorting with OBDDs
@@ Property / cites work: Symbolic topological sorting with OBDDs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.DISC.2008.01.022
@@ Property / DOI: 10.1016/J.DISC.2008.01.022 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1011721