Petr Vilím. Computing Explanations for the Unary Resource Constraint. In Roman Barták, Michela Milano, editors, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings. Volume 3524 of Lecture Notes in Computer Science, pages 396-409, Springer, 2005.
Abstract is missing.