Symbolic topological sorting with OBDDs (Q2465997): Difference between revisions

@@ Property / DOI @@
-.1016/j.jda.2005.01.008
@@ Property / DOI: 10.1016/j.jda.2005.01.008 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jda.2005.01.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2092805110
@@ Property / OpenAlex ID: W2092805110 / 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 @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4886040
@@ Property / cites work: Q4886040 / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudo-Kronecker expressions for symmetric functions
+Normal rank
@@ Property / cites work @@
+SOFSEM 2004: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JDA.2005.01.008
@@ Property / DOI: 10.1016/J.JDA.2005.01.008 / rank @@
+Normal rank