SAT web , web 19 PPL2017 2017 3 9 @ 1 / 49 ▶ SAT, SAT , SAT , , SAT ▶ SAT SAT ▶ DPLL, CDCL, SAT , SAT SAT ▶ Certified UNSAT, UNSAT , SAT, CEGAR SAT ▶ 2 / 49 ▶ SAT, SAT , SAT , , SAT ▶ SAT SAT ▶ DPLL, CDCL, SAT , SAT SAT ▶ Certified UNSAT, UNSAT , SAT, CEGAR SAT ▶ 3 / 49 SAT, SAT , SAT , SAT , SAT 4 / 49 SAT SAT (Boolean satisfiability testing) SAT NP- [Cook, 1971] SAT [Garey+, 1979] 5 / 49 SAT SAT