scientific article; zbMATH DE number 19780

zbMATH Open0735.68076MaRDI QIDQ3979280

Christian Suttner

Publication date: 26 June 1992

Title of this publication is not available (Why is that?)

zbMATH Keywords

learning systemautomatic acquisition of heuristicssearch guiding heuristics

Mathematics Subject Classification ID

Related Items (1)

Using hints to increase the effectiveness of an automated reasoning program: Case studies

Uses Software

• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3979280)