Shannon Dalmao

Publication Activity (10 Years)

Years Active: 2003-2014
Publications (10 Years): 0

Top Topics

Backtracking Search

Constraint Satisfaction Problems

Bayesian Inference

Top Venues

Publications

Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Solving #SAT and Bayesian Inference with Backtracking Search. CoRR (2014)
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Value Elimination: Bayesian Inference via Backtracking Search CoRR (2012)
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Solving #SAT and Bayesian Inference with Backtracking Search. J. Artif. Intell. Res. 34 (2009)
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Value Elimination: Bayesian Interence via Backtracking Search. UAI (2003)
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Algorithms and Complexity Results for #SAT and Bayesian Inference. FOCS (2003)
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
DPLL with Caching: A new algorithm for #SAT and Bayesian Inference Electron. Colloquium Comput. Complex. 10 (003) (2003)