Propositional Theorem Proving Using Resolution
- We implemented a refutation theorem proving technique known as resolution.
- Using resolution, we proved the pigeon hole principle.
- We converted SAT word problems into propositional logic and solved them using resolution