A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays Díaz Macías, Efraín Moral Callejón, Serafín Marginal problem Satisfiability problem Propositional logic 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. The main contribution is the development of alternative procedures when deleting a variable which allow more efficient computations. In particular, it takes advantage of the case in which the variable to delete is determined by a subset of the rest of the variables. It also provides a set of useful results and tools for reasoning with Boolean tables. The algorithms are implemented using Python and the NumPy library. Experiments show that this procedure is feasible for intermediate problems and for difficult problems from hard Bayesian networks cases. 2024-09-23T10:04:33Z 2024-09-23T10:04:33Z 2023-06-17 journal article Díaz-Macías, E.; Moral, S. A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays. Mathematics 2023, 11, 2748. https://doi.org/10.3390/math11122748 https://hdl.handle.net/10481/94877 10.3390/math11122748 eng http://creativecommons.org/licenses/by/4.0/ open access Atribución 4.0 Internacional MDPI