A Lazy Evaluation algorithm for Vertex Cover using the Sequoia framework.