# PSPACE-complete

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- ICALP
- 2014

Power is a RISC architecture developed by IBM, Freescale, and several other companies and implemented in a series of POWERâ€¦Â (More)

Is this relevant?

2012

2012

- JIP
- 2012

In a rolling block maze, one or more blocks lie on a rectangular board with square cells. In most mazes, the blocks have size kâ€¦Â (More)

Is this relevant?

2006

2006

- IJCAR
- 2006

We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of childrenâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Theor. Comput. Sci.
- 2005

We present a nondeterministic model of computation based on reversing edge directions in weighted directed graphs with minimum inâ€¦Â (More)

Is this relevant?

2005

2005

- ArXiv
- 2005

Amazons is a board game which combines elements of Chess and Go. It has become popular in recent years, and has served as aâ€¦Â (More)

Is this relevant?

2004

2004

- 2004

We prove that a pushing-block puzzle called PushPush-k is Pspace-complete for any fixed k â‰¥ 1. In this puzzle, a robot moves on aâ€¦Â (More)

Is this relevant?

2002

2002

- CCCG
- 2002

We prove PSPACE-completeness of a class of pushingblock puzzles similar to the classic Sokoban, extending several previousâ€¦Â (More)

Is this relevant?

2000

2000

- Computers and Games
- 2000

In the game of Go, the question of whether a ladderâ€”a method of capturing stonesâ€”works, is shown to be PSPACE-complete. Ourâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- 1997

It is shown that the popular puzzle Sokoban can be used to emulate a linear bounded automata ((nite tape Turing Machine (TM)). Inâ€¦Â (More)

Is this relevant?

Highly Cited

1988

Highly Cited

1988

- STOC
- 1988

We give a PSPACE algorithm for determining the signs of multivariate polynomials at the common zeros of a system of polynomialâ€¦Â (More)

Is this relevant?