Xiao Yu Li

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez
Effective bounding techniques for solving unate and binate covering problems. DAC (2005)
Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann
On SAT instance classes and a method for reliable performance experiments with SAT solvers. Ann. Math. Artif. Intell. 43 (1) (2005)
Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation. SAT (2003)
Xiao Yu Li, Matthias F. M. Stallmann
New bounds on the barycenter heuristic for bipartite graph drawing. Inf. Process. Lett. 82 (6) (2002)