Pages that link to "Item:Q2945629"

The following pages link to Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker (Q2945629):

Displaying 3 items.

• Sorting nine inputs requires twenty-five comparisons (Q899586) (← links)
• Formally proving size optimality of sorting networks (Q1694569) (← links)
• Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof (Q3453106) (← links)