An arc-consistency algorithm optimal in the number of constraint checks | IEEE Conference Publication | IEEE Xplore