SAT Competition 2022結果

こちらでOverviewできます。 

https://satcompetition.github.io/2022/slides/satcomp22slides.pdf

鍋島先生の研究グループがパラレルトラックSATで第2位の快挙です。素晴らしい。

DPS: a Framework for Deterministic Parallel SAT Solvers

で見ることが出来ます。今年は、SeqTrackは、ほぼ横ばいですが、ParallelとCloudについては、顕著な性能改善が見られます。その中での2位は、本当に価値があります。

SAT2022関係のPaperは、期間限定だと思いますが、こちらで見ることが出来ます。

Portal - SAT 2022 (dagstuhl.de)

IntelのNadalさんがIntelSATを公開しています。近年の研究成果を公開Solverとして提供していることに敬意を表します。