Return to Article Details Efficient Reformulations of Half-reified Global Constraints using Auxiliary Variables Download Download PDF