Title: Automated Reasoning and Its Applications