A parallel search tree algorithm for vertex cover on graphical processing units