Login / Signup
Ruchu Xu
Publication Activity (10 Years)
Years Active: 2007-2015
Publications (10 Years): 0
Top Topics
Upper Bounding
Max Sat
Tabu Search Algorithm
Packing Problem
Top Venues
ICGEC
Sci. China Inf. Sci.
Comput. Oper. Res.
IWIL@LPAR
</>
Publications
</>
Chu-Min Li
,
Hua Jiang
,
Ruchu Xu
Incremental MaxSAT Reasoning to Reduce Branches in a Branch-and-Bound Algorithm for MaxClique.
LION
(2015)
Chu Min Li
,
Fan Xiao
,
Ruchu Xu
On Reducing Clause DataBase in Glucose.
IWIL@LPAR
(2015)
Zhaoyang Zhou
,
Chu Min Li
,
Chong Huang
,
Ruchu Xu
An exact algorithm with learning for the graph coloring problem.
Comput. Oper. Res.
51 (2014)
Wenqi Huang
,
Zhanghua Fu
,
Ruchu Xu
Tabu search algorithm combined with global perturbation for packing arbitrary sized circles into a circular container.
Sci. China Inf. Sci.
56 (9) (2013)
Wenqi Huang
,
Zhizhong Zeng
,
Ruchu Xu
,
Zhanghua Fu
Packing Unequal Disks in a Circular Container Using a Population Based Algorithm.
ICGEC
(2012)
Wenqi Huang
,
Zhanghua Fu
,
Ruchu Xu
An efficient algorithm for solving the Arbitrary Sized Circle Packing Problem.
EMEIT
(2011)
Tao Ye
,
Ruchu Xu
,
Wenqi Huang
Global Optimization of Binary Lennard-Jones Clusters Using Three Perturbation Operators.
J. Chem. Inf. Model.
51 (3) (2011)
Wenqi Huang
,
Duanbing Chen
,
Ruchu Xu
A new heuristic algorithm for rectangle packing.
Comput. Oper. Res.
34 (11) (2007)