vertex cover solver http://epubs.siam.org/doi/abs/10.1137/1.9781611973754.7 How to compile: $ ./build.sh How to run: $ java -cp bin Main input.txt You can use dimacs or snap format. Reading a large file may take several minutes. List of the input graphs used in the paper: http://snap.stanford.edu/data/ http://konect.uni-koblenz.de/ http://law.di.unimi.it/datasets.php http://www.cs.hbg.psu.edu/txn131/vertex_cover.html http://www.user.tu-berlin.de/hueffner/occ/