now.net

Depth-first proof-number search

Pairings in the atlas

Rivals: other methods for the same problems

Where it sits

game-search · Search, Constraints & Games