@InProceedings{Shant:cp12, author = {Shant Karakashian and Robert J. Woodward and Berthe Y. Choueiry}, title = {{Practical Tractability of CSPs by Higher Level Consistency and Tree Decomposition}}, booktitle = {Proceedings of the Doctoral Program of the Eighteenth International Conference on Principles and Practice of Constraint Programming (CP 2012)}, year = 2012, pages = {31--36}, url = {http://zivny.cz/dp12/DP12Proceedings.pdf} }