Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition (CP-DP 2012)

Shant Karakashian, Robert J. Woodward, and Berthe Y. Choueiry, "Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition," in Proceedings of the Doctoral Program of the Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012), 2012, pp. 31-36. [PDF] [BIB] [Poster PPTX] [Poster PDF]