Which makes the complexity of the entire algorithm quadratic in the size?
A. Clause
B. Inference
C. Resolution
D. Occur check
Answer:A
Which makes the complexity of the entire algorithm quadratic in the size?
A. Clause B. Inference C. Resolution D. Occur check
Explanation:Occur check makes the complexity of the entire algorithm quadratic in the size of the expressions being unified.