Invited Session Thu.1.H 0110

Thursday, 10:30 - 12:00 h, Room: H 0110

Cluster 10: Implementations & software [...]

Commercial mathematical programming solvers II


Chair: Hans Mittelmann



Thursday, 10:30 - 10:55 h, Room: H 0110, Talk 1

Hans Mittelmann
Selected benchmarks in continuous and discrete optimization


From our benchmarks at, we will quote the discrete and some of the continuous benchmarks. The discrete benchmarks are partly based on MIPLIB 2010. The continuous benchmarks include LP/QP, QCQP, SOCP, and SDP.



Thursday, 11:00 - 11:25 h, Room: H 0110, Talk 2

Joachim Dahl
Extending the conic optimizer in MOSEK with semidefinite cones


We discuss the conic optimizer in MOSEK with a special emphasis on the recent semidefinite capabilities in the solver.



Thursday, 11:30 - 11:55 h, Room: H 0110, Talk 3

Robert Bixby
Presolve for linear and mixed-integer programming

Coauthors: Zonghao Gu, Ed Rothberg


For linear programming, presolve typically amounts to reducing the size of the model; however, for mixed-integer programming the changes can be much more fundamental, producing a model "strengthening'', where this strengthening doesn’t simply speed the solution process, but can be the difference between a model being solvable and hopeless. We will examine the effect of presolve, including the effects of some of the key reductions as well as some of the more interesting new reductions that have been discovered over the last several years.


  payday loans direct . Since its introduction in the market buying Cialis can be exclusively in pharmacy chains with a prescription from a doctor. I agree that this is very inconvenient and takes a lot of time and effort.