The paper describes a new approach to computing explanations in global constraints modelling unary resources.
