Connect Four and Graph Decomposition. - Laurent Evain; Mathias Lederer; Bjarke Hammersholt Roune (Comput. Complex., 2016)