7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2020
Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems
Javier Larrosa, Emma Rollon
MaxSAT, the optimization version of the well-known SAT problem, has attracted a lot of research interest in the last decade. Motivated by the many important applications and inspir…
cs.AI2014★ 7 cited
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…