Bucket elimination: A unifying framework for reasoning
From MaRDI portal
Publication:1978379
DOI10.1016/S0004-3702(99)00059-4zbMATH Open0939.68847OpenAlexW1982333717WikidataQ127740623 ScholiaQ127740623MaRDI QIDQ1978379FDOQ1978379
Authors: Rina Dechter 
Publication date: 4 June 2000
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00059-4
Recommendations
- scientific article; zbMATH DE number 1222282
- Bucket elimination: a unifying framework for processing hard and soft constraints
- A unifying principle for clause elimination in first-order logic
- Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving
- scientific article; zbMATH DE number 65539
- Reasoning with BKBs -- algorithms and complexity
- On probabilistic elimination of generalized quantifiers
- Computer Algebra in Scientific Computing
Cited In (78)
- Bucket elimination: a unifying framework for processing hard and soft constraints
- Decision making with multiple objectives using GAI networks
- Scalable Online Planning for Multi-Agent MDPs
- Robustifying sum-product networks
- Methods for constructing balanced elimination trees and other recursive decompositions
- A Logical Approach to Constraint Satisfaction
- MiniBrass: soft constraints for MiniZinc
- Solving connected row convex constraints by variable elimination
- Embedding Logics in the Local Computation Framework
- ProCount: weighted projected model counting with graded project-join trees
- Generalizing constraint satisfaction on trees: hybrid tractability and variable elimination
- Dynamic Management of Heuristics for Solving Structured CSPs
- Mixed deterministic and probabilistic networks
- Constant-degree graph expansions that preserve treewidth
- Depth-First Mini-Bucket Elimination
- Topological parameters for time-space tradeoff
- Symbolic bucket elimination for piecewise continuous constrained optimization
- Practical solution techniques for first-order MDPs
- Optimal 2-constraint satisfaction via sum-product algorithms
- Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering
- New width parameters for SAT and \#SAT
- Understanding the scalability of Bayesian network inference using clique tree growth curves
- Unifying tree decompositions for reasoning in graphical models
- Robust Solutions in Unstable Optimization Problems
- CLP( $\cal{BN}$ ): Constraint Logic Programming for Probabilistic Knowledge
- A logical approach to efficient Max-SAT solving
- Ordered valuation algebras: A generic framework for approximating inference
- Solving graph problems via potential maximal cliques: an experimental evaluation of the Bouchitté-Todinca algorithm
- Generating extended resolution proofs with a BDD-based SAT solver
- Generic local computation
- On the state of the art in machine learning: A personal review
- Risk-based predictive maintenance for safety-critical systems by using probabilistic inference
- Semiring induced valuation algebras: exact and approximate local computation algorithms
- A general scheme for automatic generation of search heuristics from specification \(dependencies^{*}\)
- Resource bounded and anytime approximation of belief function computations.
- Dual proof generation for quantified Boolean formulas with a BDD-based solver
- Residuation for soft constraints: lexicographic orders and approximation techniques
- Probabilistic reasoning with graphical security models
- SampleSearch: importance sampling in presence of determinism
- A faster tree-decomposition based algorithm for counting linear extensions
- On conditional truncated densities Bayesian networks
- A faster tree-decomposition based algorithm for counting linear extensions
- Representing and solving finite-domain constraint problems using systems of polynomials
- Quantum annealing with Markov chain Monte Carlo simulations and D-wave quantum computers
- Structured probabilistic inference
- Sequential inference with reliable observations: Learning to construct force-dynamic models
- Algorithms and complexity results for persuasive argumentation
- Sufficient and necessary conditions for solution finding in valuation-based systems
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Bayesian networks: regenerative Gibbs samplings
- Weighted heuristic anytime search: new schemes for optimization over graphical models
- A logic of soft constraints based on partially ordered preferences
- Bucket elimination for multiobjective optimization problems
- Thirty years of credal networks: specification, algorithms and complexity
- AND/OR search spaces for graphical models
- AND/OR branch-and-bound search for combinatorial optimization in graphical models
- Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
- Multi-dimensional classification with Bayesian networks
- PRM inference using Jaffray \& Faÿ's local conditioning
- Memory intensive AND/OR search for combinatorial optimization in graphical models
- Probabilistic logic with independence
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
- Exact or approximate inference in graphical models: why the choice is dictated by the treewidth, and how variable elimination can be exploited
- Bucket renormalization for approximate inference
- Exploiting Database Management Systems and Treewidth for Counting
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
- Visualizing SAT instances and runs of the DPLL algorithm
- Speeding-up structured probabilistic inference using pattern mining
- Valued constraint satisfaction problems
- Marginalization without summation. Exploiting determinism in factor algebra
- Virtual pairwise consistency in cost function networks
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver
- MPE inference in conditional linear Gaussian networks
- Connected search for a lazy robber
- Mini-bucket Elimination with Bucket Propagation
- Efficient Algorithms for Functional Constraints
- Clausal proofs for pseudo-Boolean reasoning
- Sum-of-Products with Default Values: Algorithms and Complexity Results
This page was built for publication: Bucket elimination: A unifying framework for reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1978379)
