Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

16 relations
Artificial intelligenceAutomated planning and schedulingBidirectional searchBranch and bound

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Online conformance checking: relating event streams to process models using prefix-alignments
Companies often specify the intended behaviour of their business processes in a process model. Conformance checking techniques… 
Highly Cited
2013
Highly Cited
2013
Heuristic Search as Evidential Reasoning
BPS, the Bayesian Problem Solver, applies probabilistic inference and decision-theoretic control to flexible, resource… 
Highly Cited
2011
Highly Cited
2011
New security threats against chips containing scan chain structures
Insertion of scan chains is the most common technique to ensure observability and controllability of sequential elements in an IC… 
Highly Cited
2009
Highly Cited
2009
Exploring problem decomposition in conceptual design among novice designers
Highly Cited
2007
Highly Cited
2007
Parallel Randomized State-Space Search
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major… 
Review
2003
Review
2003
What To Do When Stakeholders Matter: A Guide to Stakeholder Identification and Analysis Techniques
This article focuses specifically on how and why managers might go about using stakeholder identification and analysis techniques… 
1999
1999
Probabilistic state space search
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states… 
Highly Cited
1998
Highly Cited
1998
Automated process planning for sheet metal bending operations
Review
1997
Review
1997
Simplifying decision trees: A survey
Induced decision trees are an extensively-researched solution to classification tasks. For many practical tasks, the trees… 
Highly Cited
1993
Highly Cited
1993
Reliable Hashing without Collosion Detection
Thanks to a variety of new techniques, state-space exploration is becoming an increasingly effective method for the verification… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)