SAT

Определение

Задача выполнимости булевых формул, используемая в планировании с временными ограничениями как метод проверки ограничений.

Где встречается

• 191. Какие типы задач требуют Level 3 представления (scientific formalization)

Навигация

• Индекс терминов
• Индекс разборов
• Оглавление