arXiv 2003-02-01 EN Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances Xu, Ke · Li, Wei
arXiv 2001-06-01 EN Solving Assembly Line Balancing Problems by Combining IP and CP Bockmayr, Alexander · Pisaruk, Nicolai
arXiv 2000-08-11 EN On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs Xu, Ke · Li, Wei
arXiv 2000-05-09 EN An Average Analysis of Backtracking on Random Constraint Satisfaction Problems Xu, Ke · Li, Wei
