Slide 1 SAT-solving An old AI technique becomes very popular in modern A.I. Slide 2 Overview: Basics on SAT Unit propagation SAT-solving Local Search SAT-solving Local Search…