CompSci 276 - Reasoning in Graphical Models - Spring 2018

Charles River Analytics uses FIGRAO to develop probabilistic reasoning tools for US Air Force satellites

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