Recognizing Renamable Generalized Propositional Horn Formulas is NP-Complete (1995)

Cached

Download Links

by Thomas Eiter , Pekka Kilpeläinen , Heikki Mannila
Venue:Discrete Applied Mathematics
Citations:4 - 0 self