Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker'. Sammen danner de et unikt fingeraftryk.
Sorter

Keyphrases

Computer Science