Sciweavers

ACG
2009
Springer

Randomized Parallel Proof-Number Search

14 years 7 months ago
Randomized Parallel Proof-Number Search
Jahn-Takeshi Saito, Mark H. M. Winands, H. Jaap va
Added 25 May 2010
Updated 25 May 2010
Type Conference
Year 2009
Where ACG
Authors Jahn-Takeshi Saito, Mark H. M. Winands, H. Jaap van den Herik
Comments (0)