Computing Explanations for the Unary Resource Constraints

Abstract

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