Intermediary Local Consistencies

摘要

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.