Searching for "Backtracking iterators." – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques
- …, constraint lifting, intelligent backtracking, redundancy avoidance, and iterative deepening. Key Words…
- Cited by 10 (0 self) – Add To MetaCart
-
Proof Search without Backtracking using Instance Streams
- … recursively, if one of the two branches splits further. No backtracking, and no iterative deepening are needed…
- Cited by 7 (2 self) – Add To MetaCart
-
Position Paper: Proof Search without Backtracking using Instance Streams
- … recursively, if one of the two branches splits further. No backtracking, and no iterative deepening are needed…
- Add To MetaCart
-
LazyTAP - A Lazy Tableau Theorem Prover for FOL
- …. The boxed text constitutes the Haskell program. Instead of doing proof search by backtracking and iterative…
- Cited by 1 (0 self) – Add To MetaCart
-
Weak-commitment Search for Solving Constraint Satisfaction Problems
- … into backtracking algorithms and iterative improvement algorithms as a powerful heuristic for solving constraint…
- Cited by 53 (5 self) – Add To MetaCart
-
Incremental closure of free variable tableaux
- … automated proof procedures using free variable tableaux require iterative deepening and backtracking over…
- Cited by 23 (4 self) – Add To MetaCart
-
Nonsystematic Backtracking Search
- … of solutions is low. Consequently, neither chronological backtracking nor iterative sampling has good average…
- Cited by 41 (1 self) – Add To MetaCart
-
Anytime Frequency Allocation with Soft Constraints
- … the backtrack search, unless the backtrack limit is very high. To avoid this problem, we use iterative…
- Cited by 2 (1 self) – Add To MetaCart
-
Anytime Frequency Allocation with Soft Constraints
- … corrected upon backtracking. Instead of iterating over w in an outer loop and iterating over the backtrack…
- Add To MetaCart
-
Limited Discrepancy Search
- … methods such as chronological backtracking and iterative sampling [ Langley, 1992 ] . The outline…
- Cited by 189 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
