AI in Automated Reasoning

Note