引用されています。

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

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

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

光栄の至りです。