Searching for Optimization through Satisfiability door Zhao Xing