Final remarks. Constraint resolution theories

Denis Berthier (1)

1 IMT-BS - DSI - Département Systèmes d'Information

Remarks about our approach of the finite CSP, regarding: - its distinctive features, - our specific resolution rules (whips, braids, g-whips, ...), - using these rules for human solving, - similarity between Subsets and whips, - minimal instances and uniqueness, - minimal instances vs density and tightness of constraints, - strategic level, - rating of instances and the notion of a "simplest" solution, - application to the Sudoku CSP.

Domaines: Intelligence artificielle [cs.AI]

Denis Berthier. Final remarks. Constraint resolution theories. Denis Berthier. Constraint resolution theories, Lulu, pp.295-304, 2011, 978-1-4478-6888-0. ⟨hal-00640850⟩