Charles Explorer logo
🇬🇧

Computing Explanations for the Unary Resource Constraints

Publication at Faculty of Mathematics and Physics |
2005

Abstract

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