arXiv 2018-01-20 EN A high-performance analog Max-SAT solver and its application to Ramsey numbers Molnár, Botond · Varga, Melinda · Toroczkai, Zoltan · Ercsey-Ravasz, Mária
