?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-540-24664-0_7&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Alberto&rft.aulast=Bemporad&rft.au=Bemporad%2C+Alberto&rft.date=2004&rft.title=SAT-based+branch+%26+bound+and+optimal+control+of+hybrid+dynamical+systems&rft.btitle=Integration+of+AI+and+OR+Techniques+in+Constraint+Programming+for+Combinatorial+Optimization+Problems&rft.isbn=978-3-540-21836-4&rft.genre=bookitem