1. Practical Automated Reasoningwith the Polarized Inverse MethodSean McLaughlinThesis ProposalCarnegie Mellon University School of Computer Science Thesis Committee:Jeremy…
