咨询与建议

限定检索结果

文献类型

  • 6 篇 会议
  • 4 篇 期刊文献
  • 1 册 图书

馆藏范围

  • 11 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 5 篇 计算机科学与技术...
    • 5 篇 软件工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 动力工程及工程热...
    • 1 篇 机械工程
    • 1 篇 化学工程与技术
  • 3 篇 理学
    • 3 篇 数学

主题

  • 2 篇 integer programm...
  • 2 篇 hardware
  • 2 篇 software
  • 2 篇 testing
  • 1 篇 theory of comput...
  • 1 篇 libraries
  • 1 篇 programming
  • 1 篇 automation
  • 1 篇 model checking
  • 1 篇 software enginee...
  • 1 篇 mixed-integer li...
  • 1 篇 observers
  • 1 篇 java
  • 1 篇 monitoring
  • 1 篇 production
  • 1 篇 loading
  • 1 篇 actuators
  • 1 篇 chains
  • 1 篇 instruction sets
  • 1 篇 management of co...

机构

  • 3 篇 zuse institute b...
  • 3 篇 university of tw...
  • 3 篇 institute for pr...
  • 3 篇 rwth aachen univ...
  • 3 篇 friedrich-alexan...
  • 3 篇 technische unive...
  • 2 篇 school of mathem...
  • 2 篇 university of ex...
  • 2 篇 zuse institute b...
  • 2 篇 gams software gm...
  • 2 篇 technische unive...
  • 2 篇 technische unive...
  • 2 篇 real-time system...
  • 2 篇 institute for pr...
  • 1 篇 institute of aut...
  • 1 篇 university of ba...
  • 1 篇 eduard-zintl-ins...
  • 1 篇 department of re...
  • 1 篇 institute of aut...
  • 1 篇 technische unive...

作者

  • 3 篇 serrano felipe
  • 3 篇 weninger dieter
  • 3 篇 hojny christophe...
  • 3 篇 chmiela antonia
  • 3 篇 mühmer erik
  • 3 篇 halbig katrin
  • 3 篇 eifler leon
  • 3 篇 van doornmalen j...
  • 3 篇 gaul oliver
  • 3 篇 schlösser franzi...
  • 3 篇 vigerske stefan
  • 3 篇 donkiewicz tim
  • 3 篇 hoen alexander
  • 3 篇 turner mark
  • 3 篇 pfetsch marc e.
  • 3 篇 shinano yuji
  • 3 篇 van der hulst ro...
  • 3 篇 gleixner ambros
  • 3 篇 graczyk christop...
  • 3 篇 bestuzheva kseni...

语言

  • 10 篇 英文
  • 1 篇 其他
检索条件"机构=Reactive Programming Technology Technische Universität Darmstadt"
11 条 记 录,以下是11-20 订阅
排序:
the SCIP Optimization Suite 9.0
arXiv
收藏 引用
arXiv 2024年
作者: Bolusani, Suresh Besançon, Mathieu Bestuzheva, Ksenia Chmiela, Antonia Dionísio, João Donkiewicz, tim van Doornmalen, Jasper Eifler, Leon Ghannam, Mohammed Gleixner, Ambros Graczyk, Christoph Halbig, Katrin Hedtke, Ivo Hoen, Alexander Hojny, Christopher van der Hulst, Rolf Kamp, Dominik Koch, thorsten Kofler, Kevin Lentz, Jurgen Manns, Julian Mexi, Gioni Mühmer, Erik Pfetsch, Marc E. Schlösser, Franziska Serrano, Felipe Shinano, Yuji turner, Mark Vigerske, Stefan Weninger, Dieter Xu, Liding Gaul, Oliver Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Université Grenoble Alpes Inria LIG Grenoble38000 France CMUP Department of Computer Science Faculty of Sciences University of Porto R Campo Alegre Porto4169-007 Portugal RWTH Aachen University Lehrstuhl für Operations Research Kackertstr. 7 Aachen52072 Germany Eindhoven University of Technology Department of Mathematics and Computer Science P.O. Box 513 Eindhoven5600 MB Netherlands Friedrich-Alexander Universität Erlangen-Nürnberg Department of Data Science Cauerstr. 11 Erlangen91058 Germany Schenker AG Global Data & AI Kruppstr. 4 Essen45128 Germany University of Twente Department of Discrete Mathematics and Mathematical Programming P.O. Box 217 Enschede7500 AE Netherlands University of Bayreuth Universitaetsstr. 30 Bayreuth95440 Germany Technische Universität Berlin Straße des 17. Juni 135 Berlin10623 Germany Zuse Institute Berlin Department A2IM Takustr. 7 Berlin14195 Germany DAGOPT Optimization Technologies GmbH Austria Technische Universität Darmstadt Fachbereich Mathematik Dolivostr. 15 Darmstadt64293 Germany Fair Isaac Germany GmbH Takustr. 7 Berlin14195 Germany COPT GmbH Berlin Germany GAMS Software GmbH c/o Zuse Institute Berlin Department AIS2T Takustr. 7 Berlin14195 Germany Friedrich-Alexander Universität Erlangen-Nürnberg Department of Mathematics Cauerstr. 11 Erlangen91058 Germany École polytechnique LIX CNRR Rue Honoré d’Estienne d’Orves. 1 Palaiseau9120 France
MSC Codes 90C05, 90C10, 90C11, 90C30, 90C90, 65Y05the SCIP Optimization Suite provides a collection of software packages for mathematical optimization, centered around the constraint integer programming (CIP) framewor... 详细信息
来源: 评论