Liu, Sixue

2 publications

AAAI 2017 Should Algorithms for Random SAT and Max-SAT Be Different? Sixue Liu, Gerard de Melo

AAAI 2016 Local Search for Hard SAT Formulas: The Strength of the Polynomial Law Sixue Liu, Periklis A. Papakonstantinou