Formally proving size optimality of sorting networks (Q1694569)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formally proving size optimality of sorting networks |
scientific article |
Statements
Formally proving size optimality of sorting networks (English)
0 references
2 February 2018
0 references
interactive theorem proving
0 references
large-scale proofs
0 references
program extraction
0 references
sorting networks
0 references
0 references
