SAT

Определение

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