A Novel Algorithm to Verify the Solution of Geometric Puzzle Games. - Manoel Siqueira; Rafael Machado Alves; Esteban Walter Gonzalez Clua; Erick Baptista Passos; Clayton Reis da Silva; Anselmo Antunes Montenegro; Júlio Cesar Oliveira (SBGames, 2009)