Recognizing renamable generalized propositional Horn formulas is NP-complete
Thomas Eiter, Pekka Kilpeläinen, Heikki MannilaVolume:
59
Année:
1995
Langue:
english
Pages:
9
DOI:
10.1016/0166-218x(93)e0152-o
Fichier:
PDF, 610 KB
english, 1995