[Colloq] Reminder: PhD Defense - Vasilis Papavasileiou - Mathematical Programming Modulo Theories - Thurs 5/14 at 1pm, 166 WVH

Fong, Andy a.fong at neu.edu
Wed May 13 13:55:51 EDT 2015


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



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

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>



More information about the Colloq mailing list