Quantified Boolean Solving for Achievement Games. - Steve Boucher; Roger Villemaire (KI, 2021)

The QBF Cover encoding for Harary Tic-Tac-Toe's. - Steve Boucher; Roger Villemaire (Canadian AI, 2025)