Computing explanations for the unary resource constraint

Abstract

This paper shows how to effectively compute explanations for the unary resource constraint. The explanations are computed in a lazy way.

Keywords

• Computing
• explanations
• unary
• resource
• constraint