Omezená přiřazení: Nová ořezávací strategie pro neúplné prohledávání do hloubky

Abstrakt

Článek popisuje novou ořezávací metodu pro prohledávání do hloubky v kontextu splňování omezujících podmínek. Tato metoda je založena na globálním omezení počtu přiřazení hodnoty do proměnné.

Klíčová slova

• Limited
• Assignments
• Cutoff
• Strategy
• Incomplete
• Depth
• First
• Search