Algorithms for Testing Satisfiability Formulas

  title={Algorithms for Testing Satisfiability Formulas},
  author={Marin Vlada},
  journal={Artificial Intelligence Review},
The present paper presents algorithms for testing satisfiabily of clausalformulas in the propositional logic and the firs-order logic. The algorithmbased on the enumeration of solutions for testing the satisfiability ofpropositional formula, has already been given by K. Iwama, O. Dubois. Theoriginality in this paper is to combine this algorithm to other procedures,especially with the pure-literal literal and the one-literal rule, and also theone which consists in changing any formulas in… CONTINUE READING