Hierarchies of polynomially solvable satisfiability problems

Annals of Mathematics and Artificial Intelligence

Volumn 17, Issue 2, 1996, Pages 339-357

  Pretolani, Daniele ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21444456926     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02127974     Document Type: Article

References (12)

1. G. Ausiello and G.F. Italiano, On line algorithms for polynomially solvable satisfiability problems, J. Logic Programming 10 (1991) 69-90.
2. E. Boros, Y. Crama and P.L. Hammer, Polynomial time inference of all valid implications for Horn and related formulas, Ann. Math. Artificial Intelligence 1 (1990) 21-32.
3. H. Kleine Büning, On generalized Horn formulas and k-resolution, Theoret. Comput. Sci. 116(2) (1993) 405-413.
4. V. Chandru, V. Coullard, P.L. Hammer, M. Montañez and X. Sun, On renamable Horn and generalized Horn functions, Ann. Math. Artifical Intelligence 1 (1990) 33-48.
5. V. Chandru and J.N. Hooker, Extended Horn sets in prepositional logic, J. Assoc. Comput. Mach. 38 (1991) 205-221.
6. M. Dalal and D.W. Etherington, A hierarchy of tractable satisfiability problems. Inform. Process. Lett. 44 (1992) 173-180.
7. W. Dowling and J. Gallier, Linear-time algorithms for testing the satisfiability of prepositional Horn formulae, J. Logic Programming 3 (1984) 267-284.
8. T. Eiter, P. Kilpelainen and H. Mannila, Recognizing renamable generalized prepositional Horn formulas is NP-Complete, Discrete Appi. Math. 59(2) (1995) 23-32.
9. G. Gallo and M.G. Scutellà, Polynomially solvable satisfiability problems, Inform. Process. Lett. 29 (1988) 221-227.
10. D. Loveland, Automated Theorem Proving: A Logical Basis (North-Holland, 1978).
11. D. Pretolani, Satisfiability and Hypergraphs, Ph.D. Thesis, Department of Computer Science, University of Pisa, Italy (March, 1993) TD-12/93.
12. S. Yamasaki and S. Doshita, The satisfiability problem for a class consisting of Horn sentences and some non-Horn sentences in proportional logic, Inform. and Control 59 (1983) 1-12.