Pseudo-Boolean Competition 2016 (PB16) の登録がオープンしていたので登録。 PBはSATの一般化であると同時に、数理計画方面だと0-1整数計画とほぼ一致する問題クラスなので、その辺りに興味のある人は是非。

http://www.cril.univ-artois.fr/PB16/
http://www.cril.univ-artois.fr/PB16/registration/index.php