On the constructive orbit problem (Q976988): Difference between revisions

@@ Property / cites work @@
+Fundamental algorithms for permutation groups
@@ Property / cites work: Fundamental algorithms for permutation groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231664
@@ Property / cites work: Q4231664 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3105730
@@ Property / cites work: Q3105730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650358
@@ Property / cites work: Q4650358 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization by Simulated Annealing
@@ Property / cites work: Optimization by Simulated Annealing / rank @@
+Normal rank
@@ Property / cites work @@
+Wreath decompositions of finite permutation groups
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Finding the smallest image of a set
@@ Property / cites work: Finding the smallest image of a set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840945
@@ Property / cites work: Q4840945 / rank @@
+Normal rank
@@ Property / cites work @@
+Myths about the mutual exclusion problem
@@ Property / cites work: Myths about the mutual exclusion problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324962
@@ Property / cites work: Q4324962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843187
@@ Property / cites work: Q4843187 / rank @@
+Normal rank