TY  - GEN 
AU  - Díaz Macías, Efraín
AU  - Moral Callejón, Serafín
PY  - 2023
UR  - https://hdl.handle.net/10481/94877
AB  - 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...
LA  - eng
PB  - MDPI
KW  - Marginal problem
KW  - Satisfiability problem
KW  - Propositional logic
TI  - A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays
DO  - 10.3390/math11122748
ER  -