Your search returned the following 2 documents:
-
A General Technique for Automatic Optimization by Proof Planning
Peter Madden and Ian Green
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
-
Constraints for Continuous Reachability in the Verification of Hybrid Systems
Stefan Ratschan and Zhikun She
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, 2006, 196-210. Note: This work was partly supported by the German Research Council (DFG) as part of
the Transregional Collaborative Research Center "Automatic Verification and
Analysis of Complex Systems" (SFB/TR 14 AVACS). See www.avacs.org for more
information.