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