This paper presents a methodology for evaluating propositional logic satisfiability using resolution-refutation. The method applies a strategy based on an al...
['Eduardo E. Zurek', 'Mayra Zurbarán', 'Margarita Gamarra', 'Pedro M. Wightman']
An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra