70 citations · 597 across the 35 of their papers we have counts for
36 papers
Boosting AND/OR-Based Computational Protein Design: Dynamic Heuristics and Generalizable UFO
Bobak Pezeshki, Radu Marinescu, Alexander Ihler +1
Scientific computing has experienced a surge empowered by advancements in technologies such as neural networks. However, certain important tasks are less amenable to these technolo…
Accelerating Exact and Approximate Inference for (Distributed) Discrete Optimization with GPUs
Ferdinando Fioretto, Enrico Pontelli, William Yeoh +1
Discrete optimization is a central problem in artificial intelligence. The optimization of the aggregated cost of a network of cost functions arises in a variety of problems includ…
Probabilistic Inference Modulo Theories
Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate +1
We present SGDPLL(T), an algorithm that solves (among many other problems) probabilistic inference modulo theories, that is, inference problems over probabilistic models defined vi…
Active Tuples-based Scheme for Bounding Posterior Beliefs
Bozhena Bidyuk, Rina Dechter, Emma Rollon
The paper presents a scheme for computing lower and upper bounds on the posterior marginals in Bayesian networks with discrete variables. Its power lies in its ability to use any a…
Join-Graph Propagation Algorithms
Robert Mateescu, Kalev Kask, Vibhav Gogate +1
The paper investigates parameterized approximate message-passing schemes that are based on bounded inference and are inspired by Pearl's belief propagation algorithm (BP). We start…
AND/OR Multi-Valued Decision Diagrams (AOMDDs) for Graphical Models
Robert Mateescu, Rina Dechter, Radu Marinescu
Inspired by the recently introduced framework of AND/OR search spaces for graphical models, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to c…