3. An instance:-x1……..……(1) x1…………..(2) x2 v x5….….(3) x3…….…….(4)-x2…….…….(5) A partial tree to determine the satisfiability problem.We may not need to examine all possible assignments.
3. An instance:-x1……..……(1) x1…………..(2) x2 v x5….….(3) x3…….…….(4)-x2…….…….(5) A partial tree to determine the satisfiability problem.We may not need to examine all possible assignments.