MIDA*: An IDA* Search with Dynamic Control

Wah, Benjamin W.

Permalink

https://hdl.handle.net/2142/74525 Copy

Description

Title

MIDA*: An IDA* Search with Dynamic Control

Author(s)

Wah, Benjamin W.

Issue Date

1991-04

Keyword(s)

• Automated reasoning
• Search algorithms
• Search algorithm threshold
• Heuristic values

Publisher

Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign

Series/Report Name or Number

Coordinated Science Laboratory Report no. UILU-ENG-91-2216, CRHC-91-9

Type of Resource

text

Language

English

Permalink

http://hdl.handle.net/2142/74525

Sponsor(s)/Grant Number(s)

• National Aeronautics and Space Administration / NCC 2-481
• National Science Foundation / MIP 88-10584

Owning Collections