2019年7月26日金曜日

SAT RACE 2019

今年は、SAT Competitionはなくて、SAT RACEでした。SAT19 Conferenceで結果が発表されております。最新のProceedingsが8月までは、フリーアクセスできます。Armin Biereさんと、Fahiem Bacchusさんの論文に注目しています。
来年は、Armin BiereさんのCaDiCalがトップを取りそうな気配です。

0 件のコメント:

コメントを投稿