Mathematical programming modulo theories
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 develop the Branch and Cut Modulo T (BC(T) architecture for...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/D20194113 |