Introduction. Constraint resolution theories

Denis Berthier (1)

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

Definition of additional requirements for the finite Constraint Satisfaction Problem. Definition of a general pattern-based solving approach. Introduction of the notion of a resolution theory.

Mots clés: Sudoku; Constructive Logic; Constraint Satisfaction; AI; Logic Games

Domaines: Intelligence artificielle [cs.AI]

Denis Berthier. Introduction. Constraint resolution theories. Denis Berthier. Constraint resolution theories, Lulu, pp.9-12, 2011, 978-1-4478-6888-0. ⟨hal-00640769⟩