Lightsolver challenges a leading deep learning solver for Max-2-SAT problems. - Hod Wirzberger; Assaf Kalinski; Idan Meirzada; Harel Primack; Yaniv Romano; Chene Tradonsky; Ruti Ben-Shlomi (CoRR, 2023)