ML Anthology
Authors
Search
About
Sang, Tian
2 publications
IJCAI
2007
A Dynamic Approach for MPE and Weighted MAX-SAT
Tian Sang
,
Paul Beame
,
Henry A. Kautz
AAAI
2005
Performing Bayesian Inference by Weighted Model Counting
Tian Sang
,
Paul Beame
,
Henry A. Kautz