Omezující podmínky v plánování

Abstrakt

Disertační práce se zabývá plánovacími problémy a problémy booleovské splnitelnosti, které aktuálně reprezentují velkou výzvu pro odborníky zabývající se umělou inteligencí.

Klíčová slova

• Constraint
• Programming
• Planning