A Characterization of Graphs with Vertex Cover up to Five

For the family of graphs with fixed-size vertex cover k, we present all of the forbidden minors (obstructions), for k up to five. We derive some results, including a practical finite-state recognition algorithm, needed to compute these obstructions.