| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Solving #SAT and Bayesian Inference with Backtracking Search. J. Artif. Intell. Res. (JAIR) 34: 391-442 (2009) |
| 2003 | ||
| 3 | EE | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Algorithms and Complexity Results for #SAT and Bayesian Inference. FOCS 2003: 340-351 |
| 2 | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: Value Elimination: Bayesian Interence via Backtracking Search. UAI 2003: 20-28 | |
| 1 | EE | Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi: DPLL with Caching: A new algorithm for #SAT and Bayesian Inference Electronic Colloquium on Computational Complexity (ECCC) 10(003): (2003) |
| 1 | Fahiem Bacchus | [1] [2] [3] [4] |
| 2 | Toniann Pitassi | [1] [2] [3] [4] |