• Research

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