A parameterized arc consistency based constraint propagation algorithm | IEEE Conference Publication | IEEE Xplore