PB15に投稿するために、MINLPLIB2の0-1変数のみのインスタンスを、OPBファイルに変換した。 https://github.com/msakai/minlplib2-pb
最初はGAMSのファイルを真面目にパースしようとしていたが、結構面倒くさくて、結局正規表現でマッチングしていい加減に変換してしまった。
PBO(Pseudo Boolean Optimization)と0-1整数(非線型)計画は基本的に同じ問題クラスなのだけれど、前者が主にSATの拡張として発展してきている一方で、後者は数理計画の方で発展してきていて、(特に非線形の場合)あまりソルバや問題の比較とかもされていないと思うので、比較できたら面白いかなと。
Pseudo Boolean Evaluation 2015 (PB15)
http://pbeva.computational-logic.org/
MINLP Library 2 (MINLPLIB2)
http://www.gamsworld.org/minlp/minlplib2/html/