Travelled to:1 × USA
Collaborated with:C.P.Gomes H.A.Kautz B.Selman E.Horvitz D.M.Chickering D.Achlioptas M.E.Stickel
Talks about:problem (2) structur (1) bayesian (1) approach (1) satisfi (1) filter (1) comput (1) balanc (1) tackl (1) hard (1)
Person: Yongshao Ruan
DBLP: Ruan:Yongshao
Contributed to:
2001Wrote 2 papers:
- SAT-2001-HorvitzRGKSC #approach #problem
- A Bayesian Approach to Tackling Hard Computational Problems (EH, YR, CPG, HAK, BS, DMC), pp. 376–391.
- SAT-2001-KautzRAGSS #problem #satisfiability
- Balance and Filtering in Structured Satisfiable Problems (HAK, YR, DA, CPG, BS, MES), pp. 2–18.