The following pages link to (Q3856120):
Displayed 50 items.
- A deductive solution for plan generation (Q578927) (← links)
- Heuristic search through islands (Q578930) (← links)
- Nonholonomic multibody mobile robots: controllability and motion planning in the presence of obstacles (Q686739) (← links)
- Branch and Win: OR tree search algorithms for solving combinatorial optimisation problems. (Q703298) (← links)
- The problem reduction method under uncertainty and decomposition of functions (Q751321) (← links)
- Parallel state-space search for a first solution with consistent linear speedups (Q757044) (← links)
- A characterization of achievable patterns of the MN-puzzle problem (Q758220) (← links)
- A result on the computational complexity of heuristic estimates for the \(A^*\) algorithm (Q761039) (← links)
- A heuristic search algorithm with modifiable estimate (Q792766) (← links)
- General branch and bound, and its relation to \(A^*\) and \(AO^*\) (Q792768) (← links)
- SAT-based planning in complex domains: Concurrency, constraints and nondeterminism (Q814472) (← links)
- Contingent planning under uncertainty via stochastic satisfiability (Q814473) (← links)
- Conformant planning via symbolic model checking and heuristic search (Q814631) (← links)
- On randomization and discovery (Q867607) (← links)
- Defining answer classes using resolution refutation (Q881832) (← links)
- On completeness of narrowing strategies (Q912605) (← links)
- On the continuous working problem (Q917431) (← links)
- Multiple stack branch and bound (Q922704) (← links)
- Computing the throughput of concatenation state machines (Q954952) (← links)
- Scheduling of parallel machines to minimize total completion time subject to s-precedence constraints (Q955602) (← links)
- The *-minimax search procedure for trees containing chance nodes (Q1050777) (← links)
- Admissible heuristic search in AND/OR graphs (Q1054163) (← links)
- Human system interface concerns in support system design (Q1055729) (← links)
- Modeling production rules by means of predicate transition networks (Q1058869) (← links)
- Ordering conjunctive queries (Q1060862) (← links)
- Perceptual organization as nested control (Q1062646) (← links)
- Depth-first iterative-deepening: An optimal admissible tree search (Q1062761) (← links)
- Inference procedures under uncertainty for the problem-reduction method (Q1064794) (← links)
- A formal model of diagnostic inference. I. Problem formulation and decomposition (Q1069317) (← links)
- A formal model of diagnostic inference. II. Algorithmic solution and application (Q1069318) (← links)
- PRIAM, an interactive program for chosing among multiple attribute alternatives (Q1071641) (← links)
- Principles of information structure common to six levels of the human cognitive system (Q1072492) (← links)
- An upper bound for the speedup of parallel best-bound branch-and-bound algorithms (Q1072940) (← links)
- Expert control (Q1074537) (← links)
- Paths of least resistance in possibilistic production systems (Q1081513) (← links)
- Artificial intelligence in air combat games (Q1087487) (← links)
- Structural analysis of local search heuristics in combinatorial optimization (Q1095797) (← links)
- A search algorithm for motion planning with six degrees of freedom (Q1097053) (← links)
- Controlling recursive inference (Q1097714) (← links)
- The hierarchical structure of graph searches (Q1098301) (← links)
- Resolution on formula-trees (Q1098648) (← links)
- Systolic processing for dynamic programming problems (Q1099090) (← links)
- Resolution vs. cutting plane solution of inference problems: Some computational experience (Q1100093) (← links)
- Statistical heuristic search (Q1100907) (← links)
- Automated analysis of operators on state tables: A technique for intelligent search (Q1101264) (← links)
- Admissibility of \(AO^ *\) when heuristics overestimate (Q1102135) (← links)
- About the Paterson-Wegman linear unification algorithm (Q1103417) (← links)
- Constraint satisfaction from a deductive viewpoint (Q1103421) (← links)
- Obstacle growing in a nonpolygonal world (Q1107992) (← links)
- Linearity and plan generation (Q1108814) (← links)