2018年6月17日日曜日

引用されています。

インテルのイスラエル ハイファ研究所のNadelさんの最新論文で去年出場したmaxrosterが引用されています。
http://www.cs.tau.ac.il/research/alexander.nadel/sat18_maxsat.pdf

全然関係ないですが、イスラエルのハイファというとCPUのコア2アーキテクチャの源になりますね。ハイファはイスラエルのハイテク産業の一大集約地になっています。

Nadelさんは、SAT SolverのCore Extractionという分野で有名な方です。 CPUに限らず、LSIのデザイン検証では、SAT SOLVERはなくてはならない重要なツールになっています。

光栄の至りです。


0 件のコメント:

コメントを投稿

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