САТ проблем — странице које воде овамо
Приказује се 30 ставки.
- Пророчка машина (← везе | уреди)
- НП-комплетни проблеми (← везе | уреди)
- Кук-Левинова теорема (← везе | уреди)
- Стивен Кук (← везе | уреди)
- НП (класа комплексности) (← везе | уреди)
- Проблем задовољивости (преусмерење) (← везе | уреди)
- Буловски проблем задовољивости (преусмерење) (← везе | уреди)
- Проблем буловске задовољивости (преусмерење) (← везе | уреди)
- Сат проблем (преусмерење) (← везе | уреди)
- САТ-проблем (преусмерење) (← везе | уреди)
- Сат-проблем (преусмерење) (← везе | уреди)
- Конјунктивна нормална форма (← везе | уреди)
- П = НП проблем (← везе | уреди)
- Чврста компонента повезаности (← везе | уреди)
- Karpov 21 NP-kompletan problem (← везе | уреди)
- Покривач чворова (← везе | уреди)
- ДПЛЛ алгоритам (← везе | уреди)
- Одговор сет програмирање (← везе | уреди)
- Апроксимациони алгоритам (← везе | уреди)
- Целобројно програмирање (← везе | уреди)
- Функцијски задатак (← везе | уреди)
- Логичко програмирање (← везе | уреди)
- Минимална тежина триангулације (← везе | уреди)
- Hipoteza eksponencijalnog vremena (← везе | уреди)
- Свођење (теорија рачунске сложености) (← везе | уреди)
- Хорнова клауза (← везе | уреди)
- Програмирање ограничења (← везе | уреди)
- Миленијумски проблеми (← везе | уреди)
- Boolean satisfiability problem (преусмерење) (← везе | уреди)
- САТ (вишезначна одредница) (← везе | уреди)