b
Discover
Models
Search
About
Lightsolver challenges a leading deep learning solver for Max-2-SAT problems
2023
·
arXiv