Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB53-CRHC_91_9.pdf (5MB)
(no description provided)PDF

Description

Title:MIDA*: An IDA* Search with Dynamic Control
Alternative Title:MIDA: An IDA Search with Dynamic Control
Author(s):Wah, Benjamin W.
Subject(s):Automated reasoning
Search algorithms
Search algorithm threshold
Heuristic values
Issue Date:1991-04
Publisher:Center for Reliable and High-Performance Computing, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-91-2216, CRHC-91-9
Genre:Report
Type:Text
Language:English
Description:Coordinated Science Laboratory was formerly known as Control Systems Laboratory
URI:http://hdl.handle.net/2142/74525
Sponsor:National Aeronautics and Space Administration / NCC 2-481
National Science Foundation / MIP 88-10584
Date Available in IDEALS:2015-04-06


This item appears in the following Collection(s)

Item Statistics