References in zbMATH (referenced in 52 articles )

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

1 2 3 next

  1. Fendl, Hannes; Neumaier, Arnold; Schichl, Hermann: Certificates of infeasibility via nonsmooth optimization (2017)
  2. Knoop, Jens; Kovács, Laura; Zwirchmayr, Jakob: Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution (2017)
  3. Cartis, Coralia; Yan, Yiming: Active-set prediction for interior point methods using controlled perturbations (2016)
  4. Ferrer Fioriti, Luis María; Hashemi, Vahid; Hermanns, Holger; Turrini, Andrea: Deciding probabilistic automata weak bisimulation: theory and practice (2016)
  5. Gassmann, Horand; Ma, Jun; Martin, Kipp: Communication protocols for options and results in a distributed optimization environment (2016)
  6. Shen, Jingjing; Kosinka, Jiří; Sabin, Malcolm; Dodgson, Neil: Converting a CAD model into a non-uniform subdivision surface (2016)
  7. Xu, Hong; Kumar, T.K.Satish; Koenig, Sven: A new solver for the minimum weighted vertex cover problem (2016)
  8. Bachoc, Christine; Passuello, Alberto; Thiery, Alain: The density of sets avoiding distance 1 in Euclidean space (2015)
  9. Hannes Fendl, Hermann Schichl: A feasible second order bundle algorithm for nonsmooth nonconvex optimization problems with inequality constraints: II. Implementation and numerical results (2015) arXiv
  10. Carbonneau, Réal A.; Caporossi, Gilles; Hansen, Pierre: Globally optimal clusterwise regression by column generation enhanced with heuristics, sequencing and ending subset optimization (2014)
  11. Fontana, Roberto: Fractional factorial designs for model-based evaluation of customer preferences (2014)
  12. Hutter, Frank; Xu, Lin; Hoos, Holger H.; Leyton-Brown, Kevin: Algorithm runtime prediction: methods & evaluation (2014)
  13. Mandal, B.N.; Koukouvinos, C.: Optimal multi-level supersaturated designs through integer programming (2014)
  14. Bentobache, Mohand; Bibi, Mohand Ouamer: A two-phase support method for solving linear programs: numerical experiments (2012)
  15. Larsen, Paul L.: Fulton’s conjecture for $\overlineM_0,7$ (2012)
  16. Mardia, Kanti V.; Petty, Emma M.; Taylor, Charles C.: Matching markers and unlabeled configurations in protein gels (2012)
  17. Wimmel; Harro; Wolf, Karsten: Applying CEGAR to the Petri net state equation (2012)
  18. Çalışkan, Cenk: A specialized network simplex algorithm for the constrained maximum flow problem (2011)
  19. Cappelen, Alexander W.; Hole, Astri Drange; Sørensen, Erik Ø.; Tungodden, Bertil: The importance of moral reflection and self-reported data in a dictator game with production (2011)
  20. Goovaerts, Marc J.; Kaas, Rob; Laeven, Roger J.A.: Worst case risk measurement: back to the future? (2011)

1 2 3 next