SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems.

Alberto Bemporad, Nicol Giorgetti

Browse the full CPAIOR paper archive.