Abstract
The problem of deciding the satisfiability of a formula in propositional logic has turned out to have many important applications in computer science. This chapter and the next one present two widely used approaches for computing with formulas in propositional logic.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have