Researchers in the U.K. are developing a lean-and-mean programming framework called Mirage that is designed specifically to support applications running on cloud infrastructure platforms such as ...

Dana, the world's first AI-powered programming language, enables intent-driven development where users can describe what they want to build, and the language handles implementation. "We asked: What if ...

Mathematics of Operations Research, Vol. 44, No. 2 (May 2019), pp. 632-650 (19 pages) In this paper, we consider the linearly constrained composite convex optimization problem, whose objective is a ...

We investigate the computational issues that need to be addressed when incorporating general cutting planes for mixed 0-1 programs into a branch-and-cut framework. The cuts we use are of the ...