Matches in SemOpenAlex for { <https://semopenalex.org/work/W2809897442> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2809897442 startingPage "4" @default.
- W2809897442 abstract "Abstract We consider the popular smartphone game Trainyard: a puzzle game that requires the player to lay down tracks in order to route colored trains from departure stations to suitable arrival stations. While it is already known [Almanza et al., FUN 2016] that the problem of finding a solution to a given Trainyard instance (i.e., game level) is NP-hard, determining the computational complexity of checking whether a candidate solution (i.e., a track layout) solves the level was left as an open problem. In this paper we prove that this verification problem is PSPACE-complete, thus implying that Trainyard players might not only have a hard time finding solutions to a given level, but they might even be unable to efficiently recognize them." @default.
- W2809897442 created "2018-07-10" @default.
- W2809897442 creator A5015851488 @default.
- W2809897442 creator A5028702811 @default.
- W2809897442 creator A5063633119 @default.
- W2809897442 date "2018-05-25" @default.
- W2809897442 modified "2023-09-23" @default.
- W2809897442 title "Tracks from hell - When finding a proof may be easier than checking it" @default.
- W2809897442 doi "https://doi.org/10.4230/lipics.fun.2018.4" @default.
- W2809897442 hasPublicationYear "2018" @default.
- W2809897442 type Work @default.
- W2809897442 sameAs 2809897442 @default.
- W2809897442 citedByCount "1" @default.
- W2809897442 countsByYear W28098974422022 @default.
- W2809897442 crossrefType "proceedings-article" @default.
- W2809897442 hasAuthorship W2809897442A5015851488 @default.
- W2809897442 hasAuthorship W2809897442A5028702811 @default.
- W2809897442 hasAuthorship W2809897442A5063633119 @default.
- W2809897442 hasConcept C10138342 @default.
- W2809897442 hasConcept C110251889 @default.
- W2809897442 hasConcept C11413529 @default.
- W2809897442 hasConcept C162324750 @default.
- W2809897442 hasConcept C179799912 @default.
- W2809897442 hasConcept C182306322 @default.
- W2809897442 hasConcept C190839683 @default.
- W2809897442 hasConcept C197685441 @default.
- W2809897442 hasConcept C205649164 @default.
- W2809897442 hasConcept C41008148 @default.
- W2809897442 hasConcept C58640448 @default.
- W2809897442 hasConcept C80444323 @default.
- W2809897442 hasConceptScore W2809897442C10138342 @default.
- W2809897442 hasConceptScore W2809897442C110251889 @default.
- W2809897442 hasConceptScore W2809897442C11413529 @default.
- W2809897442 hasConceptScore W2809897442C162324750 @default.
- W2809897442 hasConceptScore W2809897442C179799912 @default.
- W2809897442 hasConceptScore W2809897442C182306322 @default.
- W2809897442 hasConceptScore W2809897442C190839683 @default.
- W2809897442 hasConceptScore W2809897442C197685441 @default.
- W2809897442 hasConceptScore W2809897442C205649164 @default.
- W2809897442 hasConceptScore W2809897442C41008148 @default.
- W2809897442 hasConceptScore W2809897442C58640448 @default.
- W2809897442 hasConceptScore W2809897442C80444323 @default.
- W2809897442 hasIssue "100" @default.
- W2809897442 hasLocation W28098974421 @default.
- W2809897442 hasOpenAccess W2809897442 @default.
- W2809897442 hasPrimaryLocation W28098974421 @default.
- W2809897442 hasRelatedWork W1501441673 @default.
- W2809897442 hasRelatedWork W1512647262 @default.
- W2809897442 hasRelatedWork W160807342 @default.
- W2809897442 hasRelatedWork W2100989920 @default.
- W2809897442 hasRelatedWork W2156827107 @default.
- W2809897442 hasRelatedWork W2171521913 @default.
- W2809897442 hasRelatedWork W2401022121 @default.
- W2809897442 hasRelatedWork W2467498620 @default.
- W2809897442 hasRelatedWork W2491647199 @default.
- W2809897442 hasRelatedWork W2508435788 @default.
- W2809897442 hasRelatedWork W2572996332 @default.
- W2809897442 hasRelatedWork W2811461449 @default.
- W2809897442 hasRelatedWork W2987434343 @default.
- W2809897442 hasRelatedWork W2997768066 @default.
- W2809897442 hasRelatedWork W2999416797 @default.
- W2809897442 hasRelatedWork W3038653784 @default.
- W2809897442 hasRelatedWork W3086114309 @default.
- W2809897442 hasRelatedWork W3112389122 @default.
- W2809897442 hasRelatedWork W3173707355 @default.
- W2809897442 hasRelatedWork W45744702 @default.
- W2809897442 hasVolume "100" @default.
- W2809897442 isParatext "false" @default.
- W2809897442 isRetracted "false" @default.
- W2809897442 magId "2809897442" @default.
- W2809897442 workType "article" @default.