Searching for Optimization through Satisfiability by Zhao Xing