[Colloq] PhD Defense - Vasilis Papavasileiou - Mathematical Programming Modulo Theories - Thurs, May 14, 1pm, 166 WVH

[Fong, Andy]

Thursday 05/14, 1pm, 166 West Village H

Vasilis Papavasileiou



Title: Mathematical Programming Modulo Theories



Abstract:



We present the Mathematical Programming Modulo Theories (MPMT) constraint solving framework. MPMT enhances Mathematical Programming by integrating techniques from the field of Automated Reasoning, e.g., solvers for first-order theories. We discuss the Branch and Cut Modulo T (BC(T)) architecture for MPMT solvers. BC(T) is formalized as a family of transition systems. We outline classes of first-order theories that BC(T) accommodates. We finally discuss the algorithmic aspects of our BC(T) implementation, and explore potential applications.



Committee:



Pete Manolios (Advisor)

Leonardo de Moura (External Member, Microsoft Research) Eugene Goldberg Mirek Riedewald Thomas Wahl


Andrew W. Fong
Assistant Director for Graduate Admissions and Enrollment

Northeastern University
College of Computer and Information Science
360 Huntington Avenue
451 West Village H
Boston, MA 02115
617-373-8493
a.fong at neu.edu<mailto:a.fong at neu.edu>

Facebook<https://www.facebook.com/ccisatnu?ref=hl> | Instagram<https://instagram.com/ccisatnu/> | LinkedIn<https://www.linkedin.com/groups/Northeastern-University-College-Computer-Information-1943637?gid=1943637&mostPopular=&trk=tyah&trkInfo=idx%3A1-1-1%2CtarId%3A1426606862845%2Ctas%3ANortheastern+University+College+of+Com> | Twitter<https://twitter.com/CCISatNU>