Travelled to:
1 × Portugal
Collaborated with:
C.M.Li H.Zhang
Talks about:
search (1) combin (1) local (1) ahead (1) adapt (1) nois (1) look (1) sat (1)
Person: Wanxia Wei
DBLP: Wei:Wanxia
Contributed to:
Wrote 2 papers:
- SAT-2007-LiWZ #adaptation #satisfiability
- Combining Adaptive Noise and Look-Ahead in Local Search for SAT (CML, WW, HZ), pp. 121–133.