Queensland Research Lab, National ICT Australia
I obtained my Ph.D. in Computer Science from Peking University in 2012 with Distinguished Doctoral Dissertation Award. Here is my CV.
Research interests: constraint satisfaction, combinatorial optimization, heuristic search, randomized algorithms.
- 2013.7.12 [Award]: In "incomplete algorithms" track of MaxSAT Evaluation 2013, CCLS (jointly developed with Chuan Luo) placed first in 4 categories and second in another category. Details can be found here.
- 2012.6.20 [Award]: I developed the CCASat solver, which placed first in Random track (1 of the 3 main tracks) of SAT Challenge 2012 - details can be found here. Special thanks to Chuan Luo for implementation helps and discussions, and Kaile Su for funding support.
- 2010.3.20 [New Record]: I developed the EWLS solver, which established a new record, i.e., finding a smaller vertex cover which has 3902 vertices (or equivalently, an independent set of 98 vertices), for the frb100-40 challenging problem - details can be found here. I also developed EWCC and NuMVC solvers which show better performance and also achieve this record.