Our solvers IJGP and FormulaSampleSearch won first place in two categories each at the UAI'10 approximate inference challenge.(link)   (link 2)

Our MPE solver Daoopt won third place in three categories at the UAI'10 approximate inference challenge.(link)

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