GRADUAL ABSTRACT PROOF SEARCH
Tristan Cazenave · ICGA Journal · 2002
Gradual Abstract Proof Search (GAPS) is a new 2-player search technique. It has been used to prove that 11×11 Phutball is a win for the first player in 25 plies or fewer, and that 6×6 Atari-Go with a crosscut in the centre is a win for the first play