IntelのNadelさんがNVIDIAへ

 SAT/Maxsat solverで多くの貢献をしてきたNadelさんがNVIDIAに移ったようです。

にしてもNVIDIAとは。SAT solverをGPU化する試みはあるのですが、未だ成功したという例はありません。アークテクチャを根本的に変えないと無理があると思いますが、もしかしたらその面での研究をされるのかもしれません。

にしても、CuOPTと言い、今回の移籍と言い、NVIDIAは全方位に裾野を広げていますね。共通するKey　WORDは、最適化です。