Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 21:06, 20 September 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Peter Madden and Ian Green
    A General Technique for Automatic Optimization by Proof Planning
    In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), King's College, Cambridge, England, August 3-5, 1994, 1995, 80-96. Note: Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken. Extended version to appear in Journal of Automated Reasoning