Logic based modeling and optimization of discrete continuous dynamic systemsJan OldenburgAgotado4,3Notifícame