Dalmao, Shannon

2 publications

JAIR 2009 Solving #SAT and Bayesian Inference with Backtracking Search Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi

UAI 2003 Value Elimination: Bayesian Interence via Backtracking Search Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi