Assertion: arc consistency | /r/HasProperty | checked using bipartite matching algorithm
Facets:
value: efficiently
type: MANNER
Source sentences:
text: A second property of the single alldifferent constraint is that hyper-arc consistency can be efficiently checked using a bipartite matching algorithm.