Počítání vysvětlení globálních podmínek pro unární zdroje

Abstrakt

Článek popisuje nový přístup k hledání vysvětlení neúspěchů v rámci globálních podmínek pro unární zdroje.

Klíčová slova

• Computing
• Explanations
• Unary
• Resource
• Constraints