A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays

This paper proposes a deletion algorithm for the marginal problem in propositional logic. The algorithm is based on the general Davis and Putnam deletion algorithm DP, expressed as a bucket elimination algorithm, representing sets of clauses with the same set of variables employing a Boolean array....

Full description

Bibliographic Details
Published in:Mathematics
Main Authors: Efraín Díaz-Macías, Serafín Moral
Format: Article
Language:English
Published: MDPI AG 2023-06-01
Subjects:
marginal problem
satisfiability problem
propositional logic
propagation algorithm
calculus with potentials
Online Access:https://www.mdpi.com/2227-7390/11/12/2748

Similar Items

Similar Items