Open AccessMathematical programming modulo theories
Author(s) -
Vasilis Papavasileiou
Publication year - 2015
Language(s) - Uncategorized
Resource type - Dissertations/theses
DOI - 10.17760/d20194113
Subject(s) - modulo , computer science , field (mathematics) , order (exchange) , constraint (computer aided design) , architecture , constraint programming , theoretical computer science , mathematics , programming language , algebra over a field , discrete mathematics , pure mathematics , mathematical optimization , art , geometry , finance , stochastic programming , economics , visual arts
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom