Parallel Dovetailing and its Application to Depth-First Proof-Number Search
Kunihito Hoki, Tomoyuki Kaneko, Akihiro Kishimoto, Takeshi Ito · ICGA Journal · 2013
Depth-first proof-number (df-pn) search is an effective sequential AND/OR tree search algorithm using the notion of proof and disproof numbers. Although df-pn has been parallelized in shared-memory environments thus far, parallelizing df-pn in distri