TY  - RPRT
TI  - A high-performance analog Max-SAT solver and its application to Ramsey numbers
AU  - Botond Molnár
AU  - Melinda Varga
AU  - Zoltan Toroczkai
AU  - Mária Ercsey-Ravasz
PY  - 2018
UR  - https://arxiv.org/abs/1801.06620
ID  - 1801.06620
ER  -