Combining Component Caching and Clause Learning for Effective Model Counting. - Tian Sang; Fahiem Bacchus; Paul Beame; Henry A. Kautz; Toniann Pitassi (SAT, 2004)

Performing Bayesian Inference by Weighted Model Counting. - Tian Sang; Paul Beame; Henry A. Kautz (AAAI, 2005)

Heuristics for Fast Exact Model Counting. - Tian Sang; Paul Beame; Henry A. Kautz (SAT, 2005)

A Dynamic Approach for MPE and Weighted MAX-SAT. - Tian Sang; Paul Beame; Henry A. Kautz (IJCAI, 2007)

On the Conjecture by Demyanov-Ryabova in Converting Finite Exhausters. - Tian Sang (J. Optim. Theory Appl., 2017)

UTS Unleashed! RoboCup@Home SSPL Champions 2019. - Sammy Pfeiffer; Daniel Ebrahimian; Sarita Herse; Tran Nhut Le; Suwen Leong; Bethany Lu; Katie Powell 002; Syed Ali Raza 002; Tian Sang; Ishan Sawant; Meg Tonkin; Christine Vinaviles; et al. (RoboCup, 2019)

Real-Time Fluid Simulation with Atmospheric Pressure Using Weak Air Particles. - Tian Sang; Wentao Chen; Yitian Ma; Hui Wang 045; Xubo Yang (CGI, 2021)

Research on the Influence of Vacuum Pipe Blocking Ratio on the Aerodynamic Characteristics of Super High Speed Train. - Tian Sang; Chong Su; Xiaozhen Mi (CSCWD, 2021)

Real-time simulation of violent boiling in concentrated sulfuric acid dilution. - Wentao Chen; Tian Sang; Yitian Ma; Qian Chen; Yuwei Xiao; Zhigeng Pan; Xubo Yang (Vis. Comput., 2021)