Hyper-arc consistency

From Free net encyclopedia