Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099329863> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3099329863 endingPage "169" @default.
- W3099329863 startingPage "154" @default.
- W3099329863 abstract "Since the proof of the four color theorem in 1976, computer-generated proofs have become a reality in mathematics and computer science. During the last decade, we have seen formal proofs using verified proof assistants being used to verify the validity of such proofs. In this paper, we describe a formalized theory of size-optimal sorting networks. From this formalization we extract a certified checker that successfully verifies computer-generated proofs of optimality on up to 8 inputs. The checker relies on an untrusted oracle to shortcut the search for witnesses on more than 1.6 million NP-complete subproblems." @default.
- W3099329863 created "2020-11-23" @default.
- W3099329863 creator A5058200123 @default.
- W3099329863 creator A5082561369 @default.
- W3099329863 date "2015-01-01" @default.
- W3099329863 modified "2023-09-23" @default.
- W3099329863 title "Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker" @default.
- W3099329863 cites W1537750720 @default.
- W3099329863 cites W1552054444 @default.
- W3099329863 cites W1840129892 @default.
- W3099329863 cites W2003992820 @default.
- W3099329863 cites W2023035194 @default.
- W3099329863 cites W205472424 @default.
- W3099329863 cites W2066458832 @default.
- W3099329863 cites W2082385702 @default.
- W3099329863 cites W2120065196 @default.
- W3099329863 cites W2140583545 @default.
- W3099329863 cites W2964092005 @default.
- W3099329863 cites W997071912 @default.
- W3099329863 doi "https://doi.org/10.1007/978-3-319-22102-1_10" @default.
- W3099329863 hasPublicationYear "2015" @default.
- W3099329863 type Work @default.
- W3099329863 sameAs 3099329863 @default.
- W3099329863 citedByCount "3" @default.
- W3099329863 countsByYear W30993298632015 @default.
- W3099329863 countsByYear W30993298632017 @default.
- W3099329863 crossrefType "book-chapter" @default.
- W3099329863 hasAuthorship W3099329863A5058200123 @default.
- W3099329863 hasAuthorship W3099329863A5082561369 @default.
- W3099329863 hasBestOaLocation W30993298632 @default.
- W3099329863 hasConcept C105605280 @default.
- W3099329863 hasConcept C108094655 @default.
- W3099329863 hasConcept C108710211 @default.
- W3099329863 hasConcept C111696304 @default.
- W3099329863 hasConcept C11413529 @default.
- W3099329863 hasConcept C13766981 @default.
- W3099329863 hasConcept C17744445 @default.
- W3099329863 hasConcept C199360897 @default.
- W3099329863 hasConcept C199539241 @default.
- W3099329863 hasConcept C203265346 @default.
- W3099329863 hasConcept C206880738 @default.
- W3099329863 hasConcept C2524010 @default.
- W3099329863 hasConcept C33923547 @default.
- W3099329863 hasConcept C41008148 @default.
- W3099329863 hasConcept C46304622 @default.
- W3099329863 hasConcept C55166926 @default.
- W3099329863 hasConcept C64540648 @default.
- W3099329863 hasConcept C80444323 @default.
- W3099329863 hasConcept C94461902 @default.
- W3099329863 hasConceptScore W3099329863C105605280 @default.
- W3099329863 hasConceptScore W3099329863C108094655 @default.
- W3099329863 hasConceptScore W3099329863C108710211 @default.
- W3099329863 hasConceptScore W3099329863C111696304 @default.
- W3099329863 hasConceptScore W3099329863C11413529 @default.
- W3099329863 hasConceptScore W3099329863C13766981 @default.
- W3099329863 hasConceptScore W3099329863C17744445 @default.
- W3099329863 hasConceptScore W3099329863C199360897 @default.
- W3099329863 hasConceptScore W3099329863C199539241 @default.
- W3099329863 hasConceptScore W3099329863C203265346 @default.
- W3099329863 hasConceptScore W3099329863C206880738 @default.
- W3099329863 hasConceptScore W3099329863C2524010 @default.
- W3099329863 hasConceptScore W3099329863C33923547 @default.
- W3099329863 hasConceptScore W3099329863C41008148 @default.
- W3099329863 hasConceptScore W3099329863C46304622 @default.
- W3099329863 hasConceptScore W3099329863C55166926 @default.
- W3099329863 hasConceptScore W3099329863C64540648 @default.
- W3099329863 hasConceptScore W3099329863C80444323 @default.
- W3099329863 hasConceptScore W3099329863C94461902 @default.
- W3099329863 hasLocation W30993298631 @default.
- W3099329863 hasLocation W30993298632 @default.
- W3099329863 hasOpenAccess W3099329863 @default.
- W3099329863 hasPrimaryLocation W30993298631 @default.
- W3099329863 hasRelatedWork W1515562936 @default.
- W3099329863 hasRelatedWork W1520408004 @default.
- W3099329863 hasRelatedWork W1524804222 @default.
- W3099329863 hasRelatedWork W1602423174 @default.
- W3099329863 hasRelatedWork W1819460135 @default.
- W3099329863 hasRelatedWork W2115635255 @default.
- W3099329863 hasRelatedWork W3099329863 @default.
- W3099329863 hasRelatedWork W3100311625 @default.
- W3099329863 hasRelatedWork W49870449 @default.
- W3099329863 hasRelatedWork W787793384 @default.
- W3099329863 isParatext "false" @default.
- W3099329863 isRetracted "false" @default.
- W3099329863 magId "3099329863" @default.
- W3099329863 workType "book-chapter" @default.