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 4 items.
- Hierarchies of polynomially solvable satisfiability problems (Q1380432) (← links)
- Investigations on autark assignments (Q1841885) (← 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)
