Iterative constraint reasoning: dynamic constraint reasoning in time space

Abstract

Constraint reasoning demands for a definition of variables and constraints as a prerequisite, before the actual problem can be solved. Our approach enables a succesive definition of constraint problems, as well as their solution. For demonstrating our approach, we define an extended version of the Sudoku puzzle that allows for succesive placements of numbers in certain fields and solving the problem during time proceeds. We verify our approach with an experimental implementation of this extended Sudoku puzzle.