Exercise 7.29 [known-literal-exercise]
How long does it take to prove ${KB}{\models}\alpha$ using {DPLL} when $\alpha$ is a literal already contained in ${KB}$? Explain.
Answer
Improve This Solution
View Answer
Exercise 7.29 [known-literal-exercise]
How long does it take to prove ${KB}{\models}\alpha$ using {DPLL} when $\alpha$ is a literal already contained in ${KB}$? Explain.