Back to Results
First PageMeta Content
Mathematics / Backtracking / DPLL algorithm / Bayesian network / Tree decomposition / Constraint optimization / Algorithm / Decomposition method / Local consistency / Constraint programming / Declarative programming / Graph theory


Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus
Add to Reading List

Document Date: 2009-03-28 16:44:23

Open Document

File Size: 474,46 KB

Share Result on Facebook

City

Preston / TORONTO / /

Company

CNF / Markov Networks / Bayesian Networks / /

Facility

Computer Science University of Toronto Toronto / /

IndustryTerm

fact nondeterministic algorithms / variable elimination algorithm / state-ofthe-art algorithms / important exact algorithms / fundamental algorithm / prominent exact algorithms / sum-of-products / prominent algorithms / search methods / /

Organization

EDU Department / AI Access Foundation / Computer Science University of Toronto Toronto / /

Person

ROD S UM / Shannon Dalmao Toniann Pitassi / S UM / /

PublishedMedium

Journal of Artificial Intelligence Research / /

Technology

three prominent algorithms / state-ofthe-art algorithms / DPLL-based algorithms / fundamental algorithm / variable elimination algorithm / fact nondeterministic algorithms / artificial intelligence / Davis-Putnam algorithm / DPLL algorithm / backtracking algorithm / RC-Cache algorithm / caching / /

SocialTag