Max-SAT Evaluation 2013 の案内が出ていた。 http://maxsat.ia.udl.cat/introduction/ Max-SAT Evaluation は実行環境がチープすぎることで有名だったのだけれど、なんと今年は新しいマシンになったとか。まだチープな気はするけれど、メモリが450MBから3.5GBに増えたので、問題を読み込むだけでメモリを使い尽くして終了、というアホな事態はなくなりそうかな。