Randomized Parallel Proof-Number Search ACG 12, Pamplona, May 2009 Randomized Parallel Proof-Number Search Jahn-T. Saito, Mark Winands, H. Jaap van den Herik DKE Motivation…
