Matches in SemOpenAlex for { <https://semopenalex.org/work/W2783207967> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2783207967 startingPage "20" @default.
- W2783207967 abstract "The class TFNP, of NP search problems where all instances have solutions, appears not to have complete problems. However, TFNP contains various syntactic subclasses and important problems. We introduce a syntactic class of problems that contains these known subclasses, for the purpose of understanding and classifying TFNP problems. This class is defined in terms of the search for an error in a concisely-represented formal proof. Finally, the known complexity subclasses are based on existence theorems that hold for finite structures; from Herbrand's Theorem, we note that such theorems must apply specifically to finite structures, and not infinite ones." @default.
- W2783207967 created "2018-01-26" @default.
- W2783207967 creator A5067662147 @default.
- W2783207967 creator A5078476534 @default.
- W2783207967 date "2018-01-01" @default.
- W2783207967 modified "2023-09-26" @default.
- W2783207967 title "Towards a Unified Complexity Theory of Total Functions" @default.
- W2783207967 doi "https://doi.org/10.4230/lipics.itcs.2018.37" @default.
- W2783207967 hasPublicationYear "2018" @default.
- W2783207967 type Work @default.
- W2783207967 sameAs 2783207967 @default.
- W2783207967 citedByCount "0" @default.
- W2783207967 crossrefType "proceedings-article" @default.
- W2783207967 hasAuthorship W2783207967A5067662147 @default.
- W2783207967 hasAuthorship W2783207967A5078476534 @default.
- W2783207967 hasConcept C11413529 @default.
- W2783207967 hasConcept C118615104 @default.
- W2783207967 hasConcept C136119220 @default.
- W2783207967 hasConcept C154945302 @default.
- W2783207967 hasConcept C179799912 @default.
- W2783207967 hasConcept C202444582 @default.
- W2783207967 hasConcept C2777212361 @default.
- W2783207967 hasConcept C33923547 @default.
- W2783207967 hasConcept C39637292 @default.
- W2783207967 hasConcept C41008148 @default.
- W2783207967 hasConcept C80444323 @default.
- W2783207967 hasConceptScore W2783207967C11413529 @default.
- W2783207967 hasConceptScore W2783207967C118615104 @default.
- W2783207967 hasConceptScore W2783207967C136119220 @default.
- W2783207967 hasConceptScore W2783207967C154945302 @default.
- W2783207967 hasConceptScore W2783207967C179799912 @default.
- W2783207967 hasConceptScore W2783207967C202444582 @default.
- W2783207967 hasConceptScore W2783207967C2777212361 @default.
- W2783207967 hasConceptScore W2783207967C33923547 @default.
- W2783207967 hasConceptScore W2783207967C39637292 @default.
- W2783207967 hasConceptScore W2783207967C41008148 @default.
- W2783207967 hasConceptScore W2783207967C80444323 @default.
- W2783207967 hasLocation W27832079671 @default.
- W2783207967 hasOpenAccess W2783207967 @default.
- W2783207967 hasPrimaryLocation W27832079671 @default.
- W2783207967 hasRelatedWork W1497155250 @default.
- W2783207967 hasRelatedWork W173286000 @default.
- W2783207967 hasRelatedWork W2057089816 @default.
- W2783207967 hasRelatedWork W2108233827 @default.
- W2783207967 hasRelatedWork W2109858088 @default.
- W2783207967 hasRelatedWork W2290968667 @default.
- W2783207967 hasRelatedWork W2293553724 @default.
- W2783207967 hasRelatedWork W2336934783 @default.
- W2783207967 hasRelatedWork W2399398877 @default.
- W2783207967 hasRelatedWork W2465053280 @default.
- W2783207967 hasRelatedWork W2570115677 @default.
- W2783207967 hasRelatedWork W2767449129 @default.
- W2783207967 hasRelatedWork W2798653279 @default.
- W2783207967 hasRelatedWork W2916261673 @default.
- W2783207967 hasRelatedWork W2950434194 @default.
- W2783207967 hasRelatedWork W3017923731 @default.
- W2783207967 hasRelatedWork W3210044520 @default.
- W2783207967 hasRelatedWork W83011735 @default.
- W2783207967 hasRelatedWork W95391657 @default.
- W2783207967 hasRelatedWork W2183200524 @default.
- W2783207967 hasVolume "94" @default.
- W2783207967 isParatext "false" @default.
- W2783207967 isRetracted "false" @default.
- W2783207967 magId "2783207967" @default.
- W2783207967 workType "article" @default.