Probability based Proof Number Search.

Zhang Song, Hiroyuki Iida, H. Jaap van den Herik

Browse the full ICAART paper archive.