Ruchu Xu

According to our database, Ruchu Xu authored at least 10 papers between 2003 and 2015.

Collaborative distances:

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

2015

On Reducing Clause DataBase in Glucose.

Chu Min Li, Fan Xiao, Ruchu Xu

Proceedings of the IWIL@LPAR 2015, 2015

Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique.

Chu-Min Li, Hua Jiang, Ruchu Xu

Proceedings of the Learning and Intelligent Optimization - 9th International Conference, 2015

2014

An exact algorithm with learning for the graph coloring problem.

Zhaoyang Zhou, Chu Min Li, Chong Huang, Ruchu Xu

Comput. Oper. Res., 2014

2013

Tabu search algorithm combined with global perturbation for packing arbitrary sized circles into a circular container.

Wenqi Huang, Zhanghua Fu, Ruchu Xu

Sci. China Inf. Sci., 2013

2012

Packing Unequal Disks in a Circular Container Using a Population Based Algorithm.

Wenqi Huang, Zhizhong Zeng, Ruchu Xu, Zhanghua Fu

Proceedings of the 2012 Sixth International Conference on Genetic and Evolutionary Computing, 2012

2011

Global Optimization of Binary Lennard-Jones Clusters Using Three Perturbation Operators.

Tao Ye, Ruchu Xu, Wenqi Huang

J. Chem. Inf. Model., 2011

An efficient algorithm for solving the Arbitrary Sized Circle Packing Problem.

Wenqi Huang, Zhanghua Fu, Ruchu Xu

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

2007

A new heuristic algorithm for rectangle packing.

Wenqi Huang, Duanbing Chen, Ruchu Xu

Comput. Oper. Res., 2007

2006

New heuristics for packing unequal circles into a circular container.

Wenqi Huang, Yu Li, Chu Min Li, Ru Chu Xu

Comput. Oper. Res., 2006

2003

A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container.

Wenqi Huang, Yu Li, Bernard Jurkowiak, Chu Min Li, Ru Chu Xu

Proceedings of the Principles and Practice of Constraint Programming, 2003