Travelled to:1 × Italy
2 × USA
Collaborated with:F.Brglez M.F.M.Stallmann M.F.Stallmann
Talks about:effect (2) sat (2) benchmark (1) algorithm (1) techniqu (1) strategi (1) skeptic (1) problem (1) switch (1) solver (1)
Person: Xiao Yu Li
DBLP: Li:Xiao_Yu
Contributed to:
2005
20032002Wrote 3 papers:
- DAC-2005-LiSB #bound #effectiveness #problem
- Effective bounding techniques for solving unate and binate covering problems (XYL, MFMS, FB), pp. 385–390.
- SAT-2003-LiSB #effectiveness #performance #satisfiability #using
- A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation (XYL, MFMS, FB), pp. 53–68.
- SAT-2002-BrglezLS #algorithm #benchmark #metric #satisfiability #testing
- The role of a skeptic agent in testing and benchmarking of SAT algorithms (FB, XYL, MFS), p. 13.