Runming Lu

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Runming Lu, Sheng Liu, Jian Zhang
Searching for Doubly Self-orthogonal Latin Squares. CP (2011)
Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang
Local lemma: a new strategy of pruning in SAT solvers. SAC (2010)