日記更新: Tseitin encoding と pseudo boolean constraint - ヒビルテ(2012-08-26) http://msakai.jp/d/?date=20120826#p01