Lukas' Notes

Decision Algorithm

1 min read

Backlinks

Davis–Putnam–Logemann–Loveland Algorithm (Propositional Logic)
Intensional Language Property
Many-one Reduction
Recursive Language
Tableaux (Propositional Logic)

Created with Quartz v4.5.2 © 2026

GitHub