Searching for "An Algorithm for Intelligent Backtracking." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Integrating Simplification Techniques in SAT Algorithms
- … using algebraic simpli- cation techniques. On the other hand, intelligent backtrack search algorithms…
- Cited by 1 (0 self) – Add To MetaCart
-
Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack
- …Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack Partial…
- Cited by 1 (0 self) – Add To MetaCart
-
Committing to User Choices in Mixed Initiative CSPs
- … complete solution containing those assignments. This paper shows that several backtracking algorithms…
- Add To MetaCart
-
Merging Views into CSPs: an Application for Computer Vision
- … the algorithm to intelligently backtrack at least the most uncertain (with respect to heuristics) choices…
- Add To MetaCart
Showing 1 through 4.
