Pages that link to "Item:Q1804878"
From MaRDI portal
The following pages link to Recognizing renamable generalized propositional Horn formulas is NP- complete (Q1804878):
Displaying 7 items.
- Detecting embedded Horn structure in propositional logic (Q1198035) (← links)
- On renamable Horn and generalized Horn functions (Q1356207) (← links)
- Hierarchies of polynomially solvable satisfiability problems (Q1380432) (← links)
- Investigations on autark assignments (Q1841885) (← links)
- Recognition of simple enlarged Horn formulas and simple extended Horn formulas (Q1861905) (← links)
- On some tractable classes in deduction and abduction (Q1978251) (← links)
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing (Q2387427) (← links)