AI MCQ #420: Which makes the complexity of the entire algorithm quadratic in the size?

by

Q420. Which makes the complexity of the entire algorithm quadratic in the size?

  • a) Clause
  • b) Inference
  • c) Resolution
  • d) Occur check

✅ Correct Answer: D) Occur check

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