Xiao Yu Li
According to our database1, Xiao Yu Li authored at least 4 papers between 2002 and 2005.
Legend:Book In proceedings Article PhD thesis Other
On SAT instance classes and a method for reliable performance experiments with SAT solvers.
Ann. Math. Artif. Intell., 2005
Effective bounding techniques for solving unate and binate covering problems.
Proceedings of the 42nd Design Automation Conference, 2005
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation.
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
New bounds on the barycenter heuristic for bipartite graph drawing.
Inf. Process. Lett., 2002