SAT-решатель

Определение

Инструмент для проверки выполнимости логических формул.

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

• 184. Почему естественный язык не подходит для сложного рассуждения

Навигация

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