Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,884,780 papers from all fields of science
Search
Sign In
Create Free Account
Look-ahead (backtracking)
Known as:
Backtracking look-ahead
, Forward checking
In backtracking algorithms, look ahead is the generic term for a subprocedure that attempts to foresee the effects of choosing a branching variable…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Algorithm
Backtracking
Branch (computer science)
Constraint learning
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Heuristically guided constraint satisfaction for AI planning
Mark Judge
2015
Corpus ID: 17229575
Constraint satisfaction techniques have been used in Artificial Intelligence planning for many years. As with the original…
Expand
2015
2015
Knowledge mining for cognitive agents through path based forward checking
Tanvir Atahary
,
Tarek M. Taha
,
Fredrick Webber
,
Scott Douglass
Software Engineering, Artificial Intelligence…
2015
Corpus ID: 15104133
The Cognitively Enhanced Complex Event Processing (CECEP) architecture is an autonomous decision support tool that reasons and…
Expand
2005
2005
A Simple Constraint Solver in Action Rules for the CP ’ 05 Solver Competition
N. Zhou
,
M. Wallace
2005
Corpus ID: 15034511
In response to the call for solvers by the CPAI’05 solver competition organizing committee, we implemented a constraint solver…
Expand
2002
2002
On Supporting Dynamic Constraint Satisfaction with Order of Magnitude Preferences
Jeroen Keppens
,
Q. Shen
2002
Corpus ID: 17601570
Many application problems can be formulated as dynamic preference constraint satisfaction problems. Such a problem employs…
Expand
2001
2001
How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search
Amy M. Beckwith
,
B. Choueiry
,
Hui Zou
Australian Joint Conference on Artificial…
2001
Corpus ID: 18349383
We investigate how the performance of search for solving finite constraint satisfaction problems (CSPs) is affected by the level…
Expand
1999
1999
Hierarchical Constraint Satisfaction in Spatial Databases
Dimitris Papadias
,
Panos Kalnis
,
N. Mamoulis
AAAI/IAAI
1999
Corpus ID: 7606551
Several content-based queries in spatial databases and geographic infonnation systems (GISs) can be modelled and processed as…
Expand
1998
1998
Finding Regions for Local Repair in Partial Constraint Satisfaction
Harald Meyer auf'm Hofe
Deutsche Jahrestagung für Künstliche Intelligenz
1998
Corpus ID: 15885073
Yet, two classes of algorithms have been used in partial constraint satisfaction: local search methods and branch & bound search…
Expand
1994
1994
In Search of Exceptionally Diicult Constraint Satisfaction Problems
Barbara M. Smith
1994
Corpus ID: 17520370
It has been observed by several authors that for many NP problems, a sharp peak in the median cost to nd a solution can be seen…
Expand
1992
1992
Improving Diagnostic Eeciency in Kardio: Abstractions, Constraint Propagation, and Model Compilation
Igor Mozeti
,
Bernhard PfahringerAustrian
,
B. Igor
1992
Corpus ID: 14900914
model ' & $% Detailed model of the heart -'& $% Relational table -' & $% Compressed diagnostic rules E E E E E E E E E Figure 1…
Expand
1988
1988
Forward checking, the ATMS and search reduction
B. M. Smith
1988
Corpus ID: 61479854