Sorting nine inputs requires twenty-five comparisons (Q899586): Difference between revisions

@@ Property / cites work @@
+Sorting in \(c \log n\) parallel steps
@@ Property / cites work: Sorting in \(c \log n\) parallel steps / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+The challenge of computer mathematics
@@ Property / cites work: The challenge of computer mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Efficient generation of the binary reflected gray code and its applications
+Normal rank
@@ Property / cites work @@
+A Sorting Problem
@@ Property / cites work: A Sorting Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Sorting Networks
@@ Property / cites work: Optimal Sorting Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on the size of test sets for sorting and related networks
+Normal rank
@@ Property / cites work @@
+Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker
+Normal rank
@@ Property / cites work @@
+Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof
+Normal rank
@@ Property / cites work @@
+Q5675725
@@ Property / cites work: Q5675725 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Extraction in Coq: An Overview
@@ Property / cites work: Extraction in Coq: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Equi-propagation for Concise and Efficient SAT Encodings of  Combinatorial Problems
+Normal rank
@@ Property / cites work @@
+A computer-assisted optimal depth lower bound for nine-input sorting networks
+Normal rank
@@ Property / cites work @@
+An Improved Lower Bound for Sorting Networks
@@ Property / cites work: An Improved Lower Bound for Sorting Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Toward a Lower Bound for Sorting Networks
@@ Property / cites work: Toward a Lower Bound for Sorting Networks / rank @@
+Normal rank