Modelling And Solving English Peg Solitaire
Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP