A First Practical Algorithm for High Levels of Relational Consistency (AAAI10)

Shant Karakashian, Robert Woodward, Christopher Reeson, Berthe Y. Choueiry, and Christian Bessiere, "A First Practical Algorithm for High Levels of Relational Consistency," in 24th AAAI Conference on Artificial Intelligence (AAAI 10), 2010, pp. 101-107. [PDF] [BIB] [Slides PPTX]