Symmetry Breaking with Polynomial Delay

Tim januschowski, Barbara M. Smith, M. R. C. van Dongen

A conservative class of constraint satisfaction problems CSPs is a class for which membership is preserved under arbitrary domain reductions. Many well-known tractable classes of C…