| 2007 |
|---|
| 4 | EE | Tian Sang,
Paul Beame,
Henry A. Kautz:
A Dynamic Approach for MPE and Weighted MAX-SAT.
IJCAI 2007: 173-179 |
| 2005 |
|---|
| 3 | | Tian Sang,
Paul Beame,
Henry A. Kautz:
Performing Bayesian Inference by Weighted Model Counting.
AAAI 2005: 475-482 |
| 2 | EE | Tian Sang,
Paul Beame,
Henry A. Kautz:
Heuristics for Fast Exact Model Counting.
SAT 2005: 226-240 |
| 2004 |
|---|
| 1 | EE | Tian Sang,
Fahiem Bacchus,
Paul Beame,
Henry A. Kautz,
Toniann Pitassi:
Combining Component Caching and Clause Learning for Effective Model Counting.
SAT 2004 |
