Lukas' Notes
Search
Search
Dark mode
Light mode
Set of Clauses
May 01, 2026
1 min read
propositional-logic
Graph View
Backlinks
Clausal Normal Form (Propositional Formula)
Davis–Putnam–Logemann–Loveland Algorithm
Derivation (Propositional Resolution)
Propositional Resolution Calculus
Pure Literal
Refutation (Propositional Resolution)
Unit Propagation