Stránky, které odkazují na Problém splnitelnosti booleovské formule
Toto je kompletní přehled použití – odkazů, přesměrování a vložení.
Následující stránky odkazují na stránku Problém splnitelnosti booleovské formule.
Zobrazeno 6 položek.
- NP-úplnost (← odkazy | editovat)
- SAT (← odkazy | editovat)
- Splnitelnost (← odkazy | editovat)
- SATISFIABILITY (přesměrování) (← odkazy | editovat)
- Leonid Levin (← odkazy | editovat)
- Wikipedie:Revize smazání/Záznamy/2024/DPLL(T) (← odkazy | editovat)