整数プログラミングのための競争がありますか？

Question

sat と maxsat ？

Answer 1

制約満足ソルバーの競争があります。いくつかの問題は、IPソルバーにも容易に翻訳することができます。例： minizinc challenge は、2008年以来年次実行されていますか xcsp競争

Answer 2

一般整数プログラミングまたは混合整数プログラミングをターゲットにしている競技会はありませんが、などのベンチマークがありました。 MIPLIB （LINEAR）と minlplib （非線形）。

あなたとその他の回答が指摘されるにつれて、サブセット（PB、SAT、MAX-SAT）および制約プログラミングの競争があります。あなたは多くの競争を見つけることができます（ DIMACSの課題を見つけることができます。 IPとして策定されています。

だから、なぜそのような競争はありませんか？私の個人的な推測は、それが降りるということです：

• 実装の複雑さ。良い整数プログラミングソルバーは巨大で複雑です。多くの（小さい）チームが競争することができ、数回のトリックがあなたをかなり遠く離れてあなたを得ることができるので、SATの競争などは面白いです。 IPソルバーはほんの少しだけあり、それらのすべては何年もの仕事です。
• 一般的すぎます。プロパティが異なる多くのIPインスタンスがあります。バランスの取れたベンチマークセットを作成するのは難しいでしょう。
• 成熟したフィールド。ソルバーは主に商業的であり、そして企業はそのような競争に参加または参加することに関心がない。

Answer 3

2005年から2012年までの疑似ブールソルバー競争がありましたが、（私が言うことができる限り）それ以来何もしませんでした。Integer Linear Programmingは、疑似ブールプログラミングのサブセットです。> 2012コンペティションページ他の競争結果へのリンクを参照してください。