Using Analytic CLP to Model and Analyze Hybrid Systems

First Page		Document Content
Date: 2006-01-11 07:30:08 Constraint programming Numerical analysis CLP Interval arithmetic Ordinary differential equation Runge–Kutta methods Software engineering Mathematics Computing		Using Analytic CLP to Model and Analyze Hybrid Systems Add to Reading List Source URL: www.aaai.org Download Document from Source Website File Size: 92,38 KB Share Document on Facebook