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

1 code implementation • 14 Feb 2023 • Hod Wirzberger, Assaf Kalinski, Idan Meirzada, Harel Primack, Yaniv Romano, Chene Tradonsky, Ruti Ben Shlomi

Maximum 2-satisfiability (MAX-2-SAT) is a type of combinatorial decision problem that is known to be NP-hard.