automated reasoning

subfield of computer science and logic