Belief Networks Course Page

Our CVO algorithm won first place in the parallel heuristic treewidth category of the 1st Parameterized Algorithms and Computational Experiments (PACE) Challenge.
(link / paper / slides)

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms

2013 ACM Fellow (link 1 / link 2)

Solvers by current and former students won first places in all nine categories of the 2011 PASCAL Probabilistic Inference Challenge. (link 1 / link 2)

Our solvers IJGP and FormulaSampleSearch won first places in two categories each, Daoopt won third place in three categories. (link 1 / link 2)

'Heuristic, probability and Causality: a tribute to Judea Pearl' (link)

Constraint Processing and Probabilistic Reasoning