378 search results - page 1 / 76 » Automating Mathematical Program Transformations |
PADL
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely...
MPC
1989
Springer
13 years 9 months ago
1989
Springer
MPC
2010
Springer
13 years 10 months ago
2010
Springer
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
ICLP
2001
Springer
13 years 9 months ago
2001
Springer