Lightsolver challenges a leading deep learning solver for Max-2-SAT problems

Open in new window