Logic based modeling and optimization of discrete continuous dynamic systemsJan OldenburgAgotadoNotifícame