Runming Lu

According to our database, Runming Lu authored at least 2 papers between 2010 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Searching for Doubly Self-orthogonal Latin Squares.

Runming Lu, Sheng Liu, Jian Zhang

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Local lemma: a new strategy of pruning in SAT solvers.

Xiangxue Jia, Runming Lu, Sheng Liu, Jian Zhang

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010