2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/126095The algorithm checks the propositional formulas for patterns of unsatisfiability.19 pagesComputational ComplexityDiscrete MathematicsData Structures and AlgorithmsLogic in Computer ScienceF.2.0; G.2.1; G.2.2text