research
∙
02/14/2023
Lightsolver challenges a leading deep learning solver for Max-2-SAT problems
Maximum 2-satisfiability (MAX-2-SAT) is a type of combinatorial decision...
share
research
∙
09/08/2022
