The QBF Cover encoding for Harary Tic-Tac-Toe's.

Steve Boucher, Roger Villemaire

Browse the full AI paper archive.