1.

Which makes the complexity of the entire algorithm quadratic in the size?(a) Clause(b) Inference(c) Resolution(d) Occur check

Answer» The correct option is (d) Occur check

Easiest explanation: Occur check makes the complexity of the entire algorithm quadratic in the size of the expressions being unified.


Discussion

No Comment Found

Related InterviewSolutions