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

Martin C. Cooper, Stanislav Zivny. The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns. Logical Methods in Computer Science, 13(4), 2017. [doi]

Bibliographies