Logic and Proof, Lecture 6: Clause Form Methods

Name: Logic and Proof, Lecture 6: Clause Form Methods
Uploaded: Feb 16, 2023
Duration: 2775 s
Description: The two clausal proof methods, namely SAT-solving and resolution, illustrated by examples. Course website: https://www.cl.cam.ac.uk/teaching/2021/LogicProof/

Lawrence Paulson698 subscribers

540 views

Feb 16, 2023

46:15

The two clausal proof methods, namely SAT-solving and resolution, illustrated by examples. Course website: https://www.cl.cam.ac.uk/teaching/2021/LogicProof/

Download

0 formats

No download links available.