Zimpl

ZIMPL: Zuse Institut Mathematical Programming Language. Zimpl is a little language to translate the mathematical model of a problem into a linear or nonlinear (mixed-) integer mathematical program expressed in .lp or .mps file format which can be read and (hopefully) solved by a LP or MIP solver.


References in zbMATH (referenced in 21 articles )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Maher, Stephen; Miltenberger, Matthias; Pedroso, João Pedro; Rehfeldt, Daniel; Schwarz, Robert; Serrano, Felipe: PySCIPOpt: mathematical programming in python with the SCIP optimization suite (2016)
  2. Freixas, Josep; Kurz, Sascha: On $\alpha$-roughly weighted games (2014)
  3. Borndörfer, Ralf; Hoang, Nam-Dũng; Karbstein, Marika; Koch, Thorsten; Martin, Alexander: How many Steiner terminals can you connect in 20 years? (2013)
  4. Cook, William; Koch, Thorsten; Steffy, Daniel E.; Wolter, Kati: A hybrid branch-and-bound approach for exact rational mixed-integer programming (2013)
  5. Kurz, Sascha; Tautenhahn, Nikolas: On Dedekind’s problem for complete simple games (2013)
  6. Dorndorf, Ulrich; Droste, Stefan; Koch, Thorsten: Using Zimpl for modeling production planning problems (2012)
  7. Eisenblätter, Andreas; Schweiger, Jonas: Multistage stochastic programming in strategic telecommunication network planning (2012)
  8. Gleixner, Ambros M.; Held, Harald; Huang, Wei; Vigerske, Stefan: Towards globally optimal operation of water supply networks (2012)
  9. Hoàng, Nam-Dũng; Koch, Thorsten: Steiner tree packing revisited (2012)
  10. Kallrath, Josef (ed.): Algebraic modeling systems. Modeling and solving real world optimization problems. (2012)
  11. Koch, Thorsten; Achterberg, Tobias; Andersen, Erling; Bastert, Oliver; Berthold, Timo; Bixby, Robert E.; Danna, Emilie; Gamrath, Gerald; Gleixner, Ambros M.; Heinz, Stefan; Lodi, Andrea; Mittelmann, Hans; Ralphs, Ted; Salvagnin, Domenico; Steffy, Daniel E.; Wolter, Kati: MIPLIB 2010. Mixed integer programming library version 5 (2011)
  12. Poss, Michael; Raack, Christian: Affine recourse for the robust network design problem: between static and dynamic routing (2011)
  13. Weber, Gerhard-Wilhelm; Defterli, Ozlem; Alparslan Gök, Sırma Zeynep; Kropat, Erik: Modeling, inference and optimization of regulatory networks based on time series data (2011)
  14. Burke, Edmund K.; Mareček, Jakub; Parkes, Andrew J.; Rudová, Hana: A supernodal formulation of vertex colouring with applications in course timetabling (2010)
  15. Dorndorf, Ulrich; Schneider, Frank: Scheduling automated triple cross-over stacking cranes in a container yard (2010)
  16. Achterberg, Tobias: SCIP: solving constraint integer programs (2009)
  17. Fügenschuh, A.; Göttlich, S.; Herty, M.; Kirchner, C.; Martin, A.: Efficient reformulation and solution of a nonlinear PDE-controlled flow network model (2009)
  18. Abboud, Nadine; Grötschel, Martin; Koch, Thorsten: Mathematical methods for physical layout of printed circuit boards: an overview (2008)
  19. Froyland, Gary; Koch, Thorsten; Megow, Nicole; Duane, Emily; Wren, Howard: Optimizing the landside operation of a container terminal (2008)
  20. Achterberg, Tobias; Koch, Thorsten; Martin, Alexander: MIPLIB 2003 (2006)

1 2 next