Algorithms for finding matrix models of propositional calculi

Authors: Paul Pritchard

Source: Journal of Automated Reasoning. 7:475-487

Subject Terms: constraint satisfaction, refutation-driven backtracking algorithm, computational experience, Software, source code, etc. for problems pertaining to mathematical logic and foundations, propositional calculus, matrix models, Theorem proving (deduction, resolution, etc.)

File Description: application/xml

Access URL: https://zbmath.org/28713
https://doi.org/10.1007/bf01880325
https://link.springer.com/article/10.1007/BF01880325
https://dblp.uni-trier.de/db/journals/jar/jar7.html#Pritchard91