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