We also study the importance and effectiveness of the declaratively-specified constraints.
we find that a small set of declarative constraints are effective across domains, while additional domainspecific constraints yield further benefits.