@inproceedings{LiuDeMelo2016MaxSAT, author = {Sixue Liu and Gerard de Melo}, title = {Should Algorithms for Random SAT and Max-SAT be Different?}, booktitle = {Proceedings of the 31st {AAAI} Conference on Artificial Intelligence (AAAI 2017)}, year = {2017}, publisher = {{AAAI} Press}, eventdate = {2016-02-04/09}, location = {San Francisco, CA, USA}, }