Saved Bookmarks
| 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. |
|