Computational approaches to Max-cut