Xiao Yu Li

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
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

2003
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

2002
New bounds on the barycenter heuristic for bipartite graph drawing.
Inf. Process. Lett., 2002


  Loading...