Matches in SemOpenAlex for { <https://semopenalex.org/work/W1902162887> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1902162887 abstract "Consider QBF, the Quantified Boolean Formula problem, as a combinatorial game ruleset. The problem is rephrased as determining the winner of the game where two opposing players take turns assigning values to boolean variables. In this paper, three common variations of games are applied to create seven new games: whether each player is restricted to where they may play, which values they may set variables to, or the condition they are shooting for at the end of the game. The complexity for determining which player can win is analyzed for all games. Of the seven, two are trivially in P and the other five are PSPACE-complete. These varying properties are common for combinatorial games; reductions from these five hard games can simplify the process for showing the PSPACE-hardness of other games." @default.
- W1902162887 created "2016-06-24" @default.
- W1902162887 creator A5036070557 @default.
- W1902162887 date "2014-01-15" @default.
- W1902162887 modified "2023-09-27" @default.
- W1902162887 title "$2^3$ Quantified Boolean Formula Games and Their Complexities" @default.
- W1902162887 cites W1483954611 @default.
- W1902162887 cites W2042714866 @default.
- W1902162887 cites W2246692594 @default.
- W1902162887 hasPublicationYear "2014" @default.
- W1902162887 type Work @default.
- W1902162887 sameAs 1902162887 @default.
- W1902162887 citedByCount "0" @default.
- W1902162887 crossrefType "posted-content" @default.
- W1902162887 hasAuthorship W1902162887A5036070557 @default.
- W1902162887 hasConcept C102234262 @default.
- W1902162887 hasConcept C11413529 @default.
- W1902162887 hasConcept C114614502 @default.
- W1902162887 hasConcept C118615104 @default.
- W1902162887 hasConcept C144237770 @default.
- W1902162887 hasConcept C177142836 @default.
- W1902162887 hasConcept C177264268 @default.
- W1902162887 hasConcept C179799912 @default.
- W1902162887 hasConcept C197685441 @default.
- W1902162887 hasConcept C199360897 @default.
- W1902162887 hasConcept C311688 @default.
- W1902162887 hasConcept C33923547 @default.
- W1902162887 hasConcept C41008148 @default.
- W1902162887 hasConcept C7342684 @default.
- W1902162887 hasConcept C73795354 @default.
- W1902162887 hasConcept C80444323 @default.
- W1902162887 hasConcept C93826744 @default.
- W1902162887 hasConcept C96563100 @default.
- W1902162887 hasConceptScore W1902162887C102234262 @default.
- W1902162887 hasConceptScore W1902162887C11413529 @default.
- W1902162887 hasConceptScore W1902162887C114614502 @default.
- W1902162887 hasConceptScore W1902162887C118615104 @default.
- W1902162887 hasConceptScore W1902162887C144237770 @default.
- W1902162887 hasConceptScore W1902162887C177142836 @default.
- W1902162887 hasConceptScore W1902162887C177264268 @default.
- W1902162887 hasConceptScore W1902162887C179799912 @default.
- W1902162887 hasConceptScore W1902162887C197685441 @default.
- W1902162887 hasConceptScore W1902162887C199360897 @default.
- W1902162887 hasConceptScore W1902162887C311688 @default.
- W1902162887 hasConceptScore W1902162887C33923547 @default.
- W1902162887 hasConceptScore W1902162887C41008148 @default.
- W1902162887 hasConceptScore W1902162887C7342684 @default.
- W1902162887 hasConceptScore W1902162887C73795354 @default.
- W1902162887 hasConceptScore W1902162887C80444323 @default.
- W1902162887 hasConceptScore W1902162887C93826744 @default.
- W1902162887 hasConceptScore W1902162887C96563100 @default.
- W1902162887 hasLocation W19021628871 @default.
- W1902162887 hasOpenAccess W1902162887 @default.
- W1902162887 hasPrimaryLocation W19021628871 @default.
- W1902162887 hasRelatedWork W1497712068 @default.
- W1902162887 hasRelatedWork W1518813574 @default.
- W1902162887 hasRelatedWork W1526611557 @default.
- W1902162887 hasRelatedWork W166796366 @default.
- W1902162887 hasRelatedWork W1792405193 @default.
- W1902162887 hasRelatedWork W1983796355 @default.
- W1902162887 hasRelatedWork W2012023964 @default.
- W1902162887 hasRelatedWork W2057905493 @default.
- W1902162887 hasRelatedWork W2090603514 @default.
- W1902162887 hasRelatedWork W2132428429 @default.
- W1902162887 hasRelatedWork W2289844433 @default.
- W1902162887 hasRelatedWork W2467498620 @default.
- W1902162887 hasRelatedWork W2547977190 @default.
- W1902162887 hasRelatedWork W2592938596 @default.
- W1902162887 hasRelatedWork W2778034045 @default.
- W1902162887 hasRelatedWork W2897115502 @default.
- W1902162887 hasRelatedWork W2962707881 @default.
- W1902162887 hasRelatedWork W3013186636 @default.
- W1902162887 hasRelatedWork W3101910935 @default.
- W1902162887 hasRelatedWork W1969140772 @default.
- W1902162887 isParatext "false" @default.
- W1902162887 isRetracted "false" @default.
- W1902162887 magId "1902162887" @default.
- W1902162887 workType "article" @default.