Ugrás a fő tartalmi területre
Mesterséges Intelligencia Almanach
Könyvek
Fogalomtár
Kutatók
Szerzők
Címlap
Hivatkozók
Davis–Putnam-algoritmus (DPLL)
alul-határozott probléma
egységterjesztés
Kapcsolódó tartalmak
alul-határozott probléma
Davis–Putnam-algoritmus (DPLL)
egységterjesztés
Logika tulajdonságai
Rezolúció predikátum kalkulusban - gyakorlat
Hanganyagok
Hivatkozók
Davis–Putnam-algoritmus (DPLL)
alul-határozott probléma
egységterjesztés