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/