Artificial Intelligence CSE 473 Assignment 2 Observations Mausam © Mausam 1 The SAT Encoding Induced Subgraph Isomorphism NP complete problem Applications: similarities…