Generování implikovaných Boolean podmínek pomocí jednotkové konzistence

Abstrakt

Článek popisuje plně automatickou metodu pro reformulaci problému splňování omezujících podmínek přidáním implikovaných podmínek získaných metodou jednotkové konzistence.

Klíčová slova

• Generating
• Implied
• Boolean
• Constraints
• Singleton
• Consistency