The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns.

Martin C. Cooper, Stanislav Zivn

Browse the full LICS paper archive.