2018年7月15日日曜日

SAT competition 結果

http://sat2018.forsyte.tuwien.ac.at/downloads/satcomp18slides.pdf

で結果が出ています。やはり上位は、MapleSAT系で占められており、一昨年の登場以来、確固たる潮流を感じます。mainトラックの1位は、前に紹介したNadelさんです。

0 件のコメント:

コメントを投稿

注: コメントを投稿できるのは、このブログのメンバーだけです。