Report copyright - Section 7.5 (& extra) Inference Methods - Jarrar...Propositional Inference: Enumeration Method • Depth-first enumeration of all models is sound and complete. • For n symbols, time
Please pass captcha verification before submit form