Exploració per autor "Rollón Rico, Emma"
Ara es mostren els items 10-13 de 13
-
Multi-objective optimization in graphical models
(Universitat Politècnica de Catalunya, 2008-11-03)
Tesi
Accés obertMany real-life optimization problems are combinatorial, i.e. they concern a choice of the best solution from a finite but exponentially large set of alternatives. Besides, the solution quality of many of these problems ... -
New mini-bucket partitioning heuristics for bounding the probability of evidence
(2009)
Text en actes de congrés
Accés obertMini-Bucket Elimination (MBE) is a well-known approximation algorithm deriving lower and upper bounds on quantities of interest over graphical models. It relies on a procedure that partitions a set of functions, called ... -
Proof complexity for the maximum satisfiability problem and its use in SAT refutations
(Oxford University Press, 2022-10)
Article
Accés obertMaxSAT, the optimization version of the well-known SAT problem, has attracted a lot of research interest in the past decade. Motivated by the many important applications and inspired by the success of modern SAT solvers, ... -
Semiring-based mini-bucket partitioning schemes
(AAAI Press. Association for the Advancement of Artificial Intelligence, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialGraphical models are one of the most prominent frameworks to model complex systems and efficiently query them. Their underlying algebraic properties are captured by a valuation structure that, most usually, is a semiring. ...
