Computing explanations for the unary resource constraint

Abstrakt

Tento článek ukazuje, jak efektivně počítat vysvětlení pro unární zdrojové omezení. Vysvětlení se počítají línou metodou.

Klíčová slova

• Computing
• explanations
• unary
• resource
• constraint