Topic: Proof Strategies in Graph Theory

Vertex Induction by Deletion and Reinsertion

Turning Graph Definitions Into Proof Obligations

Proof-Strategy Workshop With Small Graphs

Parity Arguments in Graph Proofs

Minimal Counterexamples and Reduction Steps

Maximum, Maximal, Minimum, and Minimal Objects

Local Improvements in Extremal Arguments

Induction Through Edge Contraction

Hereditary Properties in Minimal-Counterexample Proofs

Edge Induction Through Deletion