πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (Q3007676): Difference between revisions

@@ Property / describes a project that uses @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ZRes
@@ Property / describes a project that uses: ZRes / 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/978-3-642-21581-0_9
+Normal rank
@@ Property / OpenAlex ID @@
+W90167411
@@ Property / OpenAlex ID: W90167411 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q2723442
@@ Property / cites work: Q2723442 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3393339
@@ Property / cites work: Q3393339 / rank @@
+Normal rank
@@ Property / cites work @@
+The Diameter of the Rubik's Cube Group Is Twenty
@@ Property / cites work: The Diameter of the Rubik's Cube Group Is Twenty / rank @@
+Normal rank