Shannon Dalmao

	2009
4		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		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		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)

Coauthor Index

1	Fahiem Bacchus	[1] [2] [3] [4]
2	Toniann Pitassi	[1] [2] [3] [4]