SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems
2006 ◽
Vol 17
(1)
◽
pp. 147-155
◽
Keyword(s):
Keyword(s):
2005 ◽
Vol 15
(4)
◽
pp. 433-448
◽
2011 ◽
Vol 28
(3)
◽
pp. 291-307
◽
Keyword(s):