29:22Propositional Logic #13 - SatSolving and the DPLL AlgorithmThe Morpheus Tutorials17.2K viewsView & Download