Intermediary Local Consistencies

Thierry Petit (1, 2)

1 TASC - Theory, Algorithms and Systems for Constraints
2 LINA - Laboratoire d'Informatique de Nantes Atlantique

We propose a new definition for characterizing levels of consistency. A perspective is to provide new tools for classifying filtering algorithms, including incomplete algorithms based on the semantics of constraints.

Domaines: Intelligence artificielle [cs.AI]; Recherche opérationnelle [math.OC]

Thierry Petit. Intermediary Local Consistencies. European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France, France. ⟨hal-00753664⟩