The following pages link to (Q4817726):
Displaying 7 items.
- A model of an incomplete search for solutions involved with a descending inference (Q1287551) (← links)
- General schemes of searching for preset solutions (Q2740166) (← links)
- Algorithms for generating ordered solutions for explicit AND/OR structures (Q2905385) (← links)
- VERIFIER-BASED ALGORITHM FOR UNSORTED DATABASE SEARCH PROBLEM (Q3509799) (← links)
- Searching in Trees, Series-Parallel and Interval Orders (Q3756532) (← links)
- (Q4871265) (← links)
- Linearizing partial search orders (Q6039439) (← links)