Andreas Eggers, Nacim Ramdani, Nedialko Nedialkov, Martin Fränzle. Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. In Gilles Barthe, Alberto Pardo, Gerardo Schneider, editors, Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Volume 7041 of Lecture Notes in Computer Science, pages 172-187, Springer, 2011. [doi]
Abstract is missing.