Proof Complexity: The study of the resources required to prove logical statements, focussing on the length and size of proofs in various formal systems. CEGAR: Counterexample Guided Abstraction ...