6 Nov 2024
「どうぶつしょうぎ名人」として @mametter さんが「どうぶつしょうぎ」の後手の必勝戦略を実装する際に、覚える盤面の最小化を0-1整数計画問題としてMIPソルバを使って解いていましたが、許可を得てその問題を MIPLIB 2024 に投稿しました。
github.com/msakai/dobutsu-sh…
1
16
52
9,975
11 Sep 2024
MIPLIB 2024 submissions open: miplibsubmissions.zib.de/
Submit all instances you can share!
Closes: 30.11.2024
Restrictions: Mixed-integer linear programs (includes integer programs indicator / SOS constraints).
9
18
1,750
12 Mar 2024
開発チームが “ZIBが落ちたから退勤”と何かと思ったらmiplibなどアクセス出来なくなってた
3
392
23 Dec 2023
Seems they pulled it back, I can't seem to find it in the MIPLIB results anymore, but the paper is still there : arxiv.org/pdf/2312.13527.pdf
2
677
23 Dec 2023
parameters may impact more than previously imagined. Cbc was also once accelerated by more than 1200 times on some MIPLIB instances with parameter tuning (arxiv.230708085)
1
1
2
2,198
23 Oct 2023
早速 @termoshtt が開発してくれた内容がリリースされました！MIPLIBからのデータロード機能です！簡単に数理最適化の実験やベンチマークを試すことができるようになりました！
23 Oct 2023
🚀JijZept最新のアップデートをお知らせします！
JijModelingを使って、MIPLIBデータセットを簡単にロードし、実験できるようになりました。
これを機にぜひインストールしてください！
#Jij #JijZept #JijModeling
documentation.jijzept.com/bl…
5
482
23 Oct 2023
🚀JijZept最新のアップデートをお知らせします！
JijModelingを使って、MIPLIBデータセットを簡単にロードし、実験できるようになりました。
これを機にぜひインストールしてください！
#Jij #JijZept #JijModeling
documentation.jijzept.com/bl…
4
1,363
Excited to announce our latest update! Now effortlessly load and experiment with MIPLIB datasets using JijModeling.
A stellar feature, even as a standalone MIPLIB loader. Update now! #JijModeling #JijZept
documentation.jijzept.com/bl…
2
3
424
25 May 2023
Hey @gurobi, what about running a variant of “myth busters” called “MIPLIB busters” with your one and only @Ed_Klotz starring it? 🥤🍿🎥
#mip2023 #orms #MonarchsOfMIP
25 May 2023
Walter could not ignore @Ed_Klotz’s comments regarding (indirect) constant terms in the objective function producing misleading results about the gap closed
2
480
9 Sep 2022
In the MIPLIB 2010 paper, we reported that the virtual best (incl. CPLEX and Xpress) was a factor >2 faster than the individual ones. I'd say that current MINLP solvers use more different approaches and are more specialized, which benefits the virtual best, as the factor 5 shows.
2
9 Sep 2022
I guess the virtual best for MIPLIB suffers from CPLEX, Xpress and SAS OR not being benchmarked by Hans anymore. In the MINLP comparison, there are 3 other solvers within a factor of 2.5 to SCIP; for MIPLIB, only COPT is that close and the next one already has a factor of ~8.
1
1
3 Sep 2022
MIPLIB 2017の純整数計画インスタンスに対する適用結果（計算時間：10分）はこちらです。
snowberryfield.github.io/pri…
snowberryfield.github.io/pri…
Benchmark Setの全実行可能インスタンスに対して、どれも10分以内で実行可能解を発見できる程度の性能が目標なのですが、なかなか厳しそうなものも数問…。
1
5
24 May 2022
Feasible solutions for half of the MIPLIB 2017 instances in few seconds and for almost 80% if given more time!
1
1
31 Mar 2022
Gurobi が使えるようになったので，MIPLIB 2017 (miplib.zib.de/) にあるインスタンス "30n20b8" (miplib.zib.de/instance_detai…) を解いてみました．爆速でした．
1
9
20 Mar 2022
The "enlight" instances from MIPLIB model a combinatorial game. Adrian Zymolka created them when he played this game. These triggered an interesting MIP presolve reduction in commercial solvers that applies to... the enlight models and not much more.
1
2
26 Jul 2021
The neural solver learns even on single problem instances, improving the best known solutions to three open MIPLIB problems.
Milo-v12-6-r1-75-1: dpmd.ai/milo-v12-6-r1-75-1
Neos-1420790: dpmd.ai/neos-1420790
xmas10-2: dpmd.ai/xmas10-2
(3/)
2
7
62
24 May 2021
1/3 Mathematical Programming Computation online-first article: "MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library" by... deep breath...
A. Gleixner (@ambrosgleixner), G. Hendel, G. Gamrath (@geraldgamrath), T. Achterberg, M. Bastubbe (@mbastubbe),
1
2
13
10 Jan 2021
Final version of the MIPLIB 2017 paper now published at Mathematical Programming Computation: 16 authors, 11 affiliations, 8 solvers, 1 library at link.springer.com/article/10… ! #miplib #orms
5
13
26 Dec 2020
This looks interesting, but to claim you beat SCIP you need to beat it on full MIPLIB, not a selected subset ;)
25 Dec 2020
Solving Mixed Integer Programs Using Neural Networks
The first learning-based method to substantially outperform SCIP (a mixed interger program solver) on various large-scale real-world application datasets.
arxiv.org/pdf/2012.13349
3
4
27