Slide 1 10/28 Homework 3 returned Homework 4 socket opened (No office hours today) Where hard problems are Phase Transition Slide 2 Davis-Putnam-Logeman-Loveland Procedure…