Xiao Yu Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2003–2005
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | DAC | Effective bounding techniques for solving unate and binate covering problems. | Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez |
| 2003 | SAT | A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation. | Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez |