Seminar: Integrating Mixed Integer Optimisation and Logic with Satisfiability Modulo Theories
Title: Integrating Mixed Integer Optimisation and Logic with Satisfiability Modulo TheoriesSpeaker: Miten MistryAffiliation: Department of Computing - Imperial College LondonLocation: Room 418 Huxley BuildingTime: 5:00pmAbstract. Mixed integer optimisation problems, especially... Read more »