On the minimization of (complete) ordered binary decision diagrams (Q503467): Difference between revisions

@@ 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/s00224-015-9657-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2186363574
@@ Property / OpenAlex ID: W2186363574 / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of (generalized) OBDDs for threshold functions
+Normal rank
@@ Property / cites work @@
+On the Complexity of Some Ordering Problems
@@ Property / cites work: On the Complexity of Some Ordering Problems / rank @@
+Normal rank
@@ Property / cites work @@
+On the Width of Ordered Binary Decision Diagrams
@@ Property / cites work: On the Width of Ordered Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Exact OBDD bounds for some fundamental functions
@@ Property / cites work: Exact OBDD bounds for some fundamental functions / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+Normal rank
@@ Property / cites work @@
+Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems
+Normal rank
@@ Property / cites work @@
+Lower Bounds for Testing Computability by Small Width OBDDs
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic topological sorting with OBDDs
@@ Property / cites work: Symbolic topological sorting with OBDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160379
@@ Property / cites work: Q4160379 / rank @@
+Normal rank
@@ Property / cites work @@
+On Testing Computability by Small Width OBDDs
@@ Property / cites work: On Testing Computability by Small Width OBDDs / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Membership in Languages that Have Small Width Branching Programs
+Normal rank
@@ Property / cites work @@
+Testing computability by width-two OBDDs
@@ Property / cites work: Testing computability by width-two OBDDs / rank @@
+Normal rank
@@ Property / cites work @@
+SOFSEM 2006: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+The nonapproximability of OBDD minimization
@@ Property / cites work: The nonapproximability of OBDD minimization / rank @@
+Normal rank
@@ Property / cites work @@
+The size of reduced OBDD's and optimal read-once branching programs for almost all Boolean functions
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:503467