Bemporad, Alberto and Giorgetti, Nicolò SAT-based branch & bound and optimal control of hybrid dynamical systems. In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Lecture Notes in Computer Science, 3011 . Springer-Verlag, pp. 96-111. ISBN 978-3-540-21836-4 (2004)