Pagina's die verwijzen naar "Resolutie (logica)"
Naar navigatie springen
Naar zoeken springen
De volgende pagina's verwijzen naar Resolutie (logica):
Er worden 9 items getoond.
- One-literal rule (← koppelingen)
- Monotone variable fixing (← koppelingen)
- Vervulbaarheid (← koppelingen)
- Tseitin-transformatie (← koppelingen)
- Demodulatie (afleidingsregel) (← koppelingen)
- Horn-clausule (← koppelingen)
- DPLL-algoritme (← koppelingen)
- Vervulbaarheidsprobleem (← koppelingen)
- Cut-eliminatiestelling (← koppelingen)