Pseudo-Boolean Competition 2016 http://www.cril.univ-artois.fr/PB16/ 、結局昨年からロクな改良をできていなかったけれど、一応投稿するだけした。 Max-SAT evaluation の方は忙しくて見送ってしまったので、こっちだけでも何とか。 締め切りの時間を勘違いしていてちょっと遅れてしまった。もしダメだったら仕方ない……