Login / Signup

Randomized Parallel Proof-Number Search.

Jahn-Takeshi SaitoMark H. M. WinandsH. Jaap van den Herik
Published in: ACG (2009)
Keyphrases