Minimization problems for parity OBDDs (Q2272213): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00224-007-9084-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2111289093
@@ Property / OpenAlex ID: W2111289093 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving the variable ordering of OBDDs is NP-complete
+Normal rank
@@ Property / cites work @@
+Q4885895
@@ Property / cites work: Q4885895 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+A threshold of ln             <i>n</i>             for approximating set cover
+Normal rank
@@ Property / cites work @@
+Q4281560
@@ Property / cites work: Q4281560 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Boolean manipulation with OBDD's can be extended to FBDD's
+Normal rank
@@ Property / cites work @@
+Some optimal inapproximability results
@@ Property / cites work: Some optimal inapproximability results / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536383
@@ Property / cites work: Q4536383 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of minimizing and learning OBDDs and FBDDs
+Normal rank
@@ Property / cites work @@
+The nonapproximability of OBDD minimization
@@ Property / cites work: The nonapproximability of OBDD minimization / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of OBDDs in linear time
@@ Property / cites work: Reduction of OBDDs in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+Graph driven BDDs -- a new data structure for Boolean functions
+Normal rank
@@ Property / cites work @@
+Q4268445
@@ Property / cites work: Q4268445 / rank @@
+Normal rank
@@ Property / cites work @@
+On the descriptive and algorithmic power of parity ordered binary decision diagrams
+Normal rank
@@ Property / cites work @@
+Branching Programs and Binary Decision Diagrams
@@ Property / cites work: Branching Programs and Binary Decision Diagrams / rank @@
+Normal rank