電王・Ponanza開発者が語る、理由がわからないけどスゴイ“怠惰な並列化” http://ascii.jp/elem/000/001/253/1253340/ :
うーん。 「非常に良い手をどこかのCPUコアが発見した場合、他のスレッドの計算がすべて無効になる」というのは分枝限定法とかもそうだし、例えば What could a million CPUs do to solve Integer Programs? http://opus4.kobv.de/opus4-zib/files/1422/ZR-11-40.pdf で7千コア使ってたみたいな感じで並列化の効果を得ることはできないのかなぁ。
"LazySMP” (怠惰な並列化) は、よくわかってないけれど、学習節の共有・交換を行うポートフォリオ型のSATソルバみたいなイメージ?