Xiao Yu Li
Orcid: 0009-0004-9165-1171
According to our database1,
Xiao Yu Li
authored at least 5 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2005
On SAT instance classes and a method for reliable performance experiments with SAT solvers.
Ann. Math. Artif. Intell., 2005
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
Inf. Process. Lett., 2002