The following pages link to (Q3092752):
Displaying 24 items.
- Efficient symbolic search for cost-optimal planning (Q343909) (← links)
- Consensus for black-box nonlinear agents using optimistic optimization (Q463905) (← links)
- A heuristic search algorithm with modifiable estimate (Q792766) (← links)
- Optimal Sokoban solving using pattern databases with specific domain knowledge (Q899157) (← links)
- Introduction to search theory and applications (Q981030) (← links)
- New approaches for heuristic search: A bilateral linkage with artificial intelligence (Q1111942) (← links)
- On linear search heuristics (Q1114411) (← links)
- The mathematical modeling of heuristics. (Q1354035) (← links)
- Optimizing personal computer configurations with heuristic-based search methods (Q1604681) (← links)
- A framework for analysing state-abstraction methods (Q2060741) (← links)
- Research note: the point of diminishing returns in heuristic search (Q2256907) (← links)
- Special issue of the Journal of Heuristics on ``Heuristic Research: Advances and applications'' (Q2271123) (← links)
- An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking (Q3297592) (← links)
- (Q3489507) (← links)
- Heuristic approach to the artificial intelligence design challenge (Q3807909) (← links)
- (Q4231144) (← links)
- (Q4386972) (← links)
- (Q4762470) (← links)
- Gittins-index heuristics for research planning (Q4859566) (← links)
- (Q4934652) (← links)
- Practical Proof Search for Coq by Type Inhabitation (Q5048991) (← links)
- Heuristic Problem Solving: The Next Advance in Operations Research (Q5378780) (← links)
- Optimistic planning for control of hybrid-input nonlinear systems (Q6175610) (← links)
- SAT Modulo Differential Equation Simulations (Q6487261) (← links)
