CEGAR, exotic semi-rings, graph symmetry, order encoding, Ramsey graphs, SAT encodings, SMT-IDL, SMT-LIA.
