SAT RACE 2019

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