Typed Guarded Decompositions for Constraint Satisfaction
David A. Cohen and Martin J. Green
Book Title
Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP'06)
Pages
122−136
Series
Lecture Notes in Computer Science
Volume
4204
Year
2006