Xiao Yu Li

According to our database, Xiao Yu Li authored at least 4 papers between 2002 and 2005.

Collaborative distances:

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

2005

On SAT instance classes and a method for reliable performance experiments with SAT solvers.

Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann

Ann. Math. Artif. Intell., 2005

Effective bounding techniques for solving unate and binate covering problems.

Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez

Proceedings of the 42nd Design Automation Conference, 2005

2003

A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation.

Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

2002

New bounds on the barycenter heuristic for bipartite graph drawing.

Xiao Yu Li, Matthias F. M. Stallmann

Inf. Process. Lett., 2002