Bemporad, Alberto and Giorgetti, Nicolò A SAT-based hybrid solver for optimal control of hybrid systems. In: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science, 2993 . Springer-Verlag, pp. 126-141. ISBN 978-3-540-21259-1 (2004)