Resolution is called as refutation-complete when?
A). Sentence is satisfiable
B). Sentence is unsatisfiable
C). Sentence remains the same
D). None of these
Answer:B
Resolution is called as refutation-complete when?
A). Sentence is satisfiable B). Sentence is unsatisfiable C). Sentence remains the same D). None of these