TY  - RPRT
TI  - Should Algorithms for Random SAT and Max-SAT be Different?
AU  - Sixue Liu
AU  - Gerard de Melo
PY  - 2018
UR  - https://arxiv.org/abs/1610.00442
ID  - 1610.00442
ER  -