メモ: 今年の SAT / Max-SAT / PB / QBF の大会の予定。 <a rel="nofollow" target="_blank" hr...

Masahiro Sakai

Masahiro Sakai - 2012-01-24T23:14:59+0000 - 更新日時: 2012-01-24T23:14:59+0000

メモ: 今年の SAT / Max-SAT / PB / QBF の大会の予定。 http://sat2012.fbk.eu/node/36

共有中: 一般公開