うお。2012を最後に開催されていなかったが Pseudo-Boolean Competition が今年は Pseudo Boolean Evaluation 2015 として(別の主催者で)開催されそうな模様。これは燃える。
Pseudo Boolean constraint は節の一般化であるとともに、Pseudo-Boolean optimization は数理最適化分野では(非線形)0-1整数計画問題と同じ問題クラスであるので、SATソルバ系のアプローチと数理最適化系のアプローチの両方が用いられている興味深い領域になっている。
Pseudo-Boolean Competition 2012 (PB12) では、自分もSATベースの自作ソルバを投稿していて http://msakai.jp/d/?date=20120421#p01 、初挑戦にしてはそれなりに健闘したけれど、それで開催が終わってしまったので翌年からは Max-SAT evaluation の方に挑戦してたのだった。それがまた再挑戦できるとしたら、これは嬉しいねぇ。
参考:
Pseudo-Boolean Competition 2012
http://www.cril.univ-artois.fr/PB12/
Introduction to Max-SAT
and Max-SAT evaluation
http://www.slideshare.net/sakai/2014-0227-sakaimaxsatrevisedweb