christian-bessiere documents

Arc-consistency and arc-consistency again
Documents Arc-consistency and arc-consistency again
Asynchronous backtracking without adding links: a new member in the ABT family
Documents Asynchronous backtracking without adding links: a new member in the ABT family
Domain filtering consistencies for non-binary constraints
Documents Domain filtering consistencies for non-binary constraints
Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints
Documents Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints
Theoretical analysis of singleton arc consistency and its extensions
Documents Theoretical analysis of singleton arc consistency and its extensions
On forward checking for non-binary constraint satisfaction
Documents On forward checking for non-binary constraint satisfaction
Using constraint metaknowledge to reduce arc consistency computation
Documents Using constraint metaknowledge to reduce arc consistency computation