Highly Influenced

@article{Vlada2001AlgorithmsFT, title={Algorithms for Testing Satisfiability Formulas}, author={Marin Vlada}, journal={Artificial Intelligence Review}, year={2001}, volume={15}, pages={153-163} }

- Published 2001 in Artificial Intelligence Review
DOI:10.1023/A:1011006014945

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

### Presentations referencing similar topics