Dynamic Strategy to Diversify Search Using a History Map in Parallel Solving. - Seongsoo Moon; Mary Inaba (LION, 2016)

Boost SAT Solver with Hybrid Branching Heuristic. - Seongsoo Moon; Mary Inaba (SOCS, 2017)