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)