Calculating Seiberg-Witten invariants and examples of small 4-manifolds with infinitely many distinct smooth structures

I'll describe what Seiberg-Witten invariants of 4-manifolds are, recall several theorems which are used to compute them, and give examples of simply connected 4 manifolds with small 2nd homology which admit infinitely many smooth structures.