State space search

State space search is a process used in the field of computer science, including artificial intelligence (AI), in which successive configurations or… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1974-2017
0102019742017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
This paper exploits parallel computing power of the graphics card for the enhanced enumeration of state spaces. We illustrate… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major… (More)
  • figure 1
  • figure 4
  • figure 2
  • table 1
  • figure 5
Is this relevant?
2001
2001
This paper addresses two issues: how to choose between solutions for a problem specified by multiple criteria, and how to search… (More)
Is this relevant?
1999
1999
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • table 1
Is this relevant?
1999
1999
In undergoing this life, many people always try to do and get the best. New knowledge, experience, lesson, and everything that… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Unfoldings of Petri nets provide a method of searching the state space of concurrent systems without considering all possible… (More)
Is this relevant?
1994
1994
We present two time-efficient state space algorithms for searching minimax trees. Because they are based on SSS* and Dual*, both… (More)
Is this relevant?
1994
1994
We present two time-e cient state space algorithms for searching minimax trees. Because they are based on SSS* and Dual*, both… (More)
  • figure 2
  • figure 3
  • figure 4
  • table 1
  • figure 6
Is this relevant?
1988
1988
When N processors perform depth-first search on-disjoint parts of a state space tree to find a solution, the speedup can be… (More)
  • figure 1
  • figure 2
Is this relevant?
1986
1986
PS*, a new sequential tree searching algorithm based on the State Space Search (SSS*), is presented. PS*(k) divides each MAX node… (More)
  • figure 1
  • figure 2
  • table 2
  • table 4
  • table 5
Is this relevant?