Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:P.Beame H.A.Kautz F.Bacchus T.Pitassi
Talks about:model (2) count (2) heurist (1) effect (1) compon (1) combin (1) learn (1) exact (1) claus (1) fast (1)
Person: Tian Sang
DBLP: Sang:Tian
Contributed to:
20052004Wrote 2 papers:
- SAT-2005-SangBK #heuristic #performance
- Heuristics for Fast Exact Model Counting (TS, PB, HAK), pp. 226–240.
- SAT-2004-SangBBKP #component #effectiveness #learning
- Combining Component Caching and Clause Learning for Effective Model Counting (TS, FB, PB, HAK, TP), pp. 20–28.