Pages that link to "Item:Q917333"
From MaRDI portal
The following pages link to Existence of simple propositional formulas (Q917333):
Displaying 5 items.
- Complexity versus stability for classes of propositional formulas (Q293437) (← links)
- Unique Horn renaming and Unique 2-Satisfiability (Q673674) (← links)
- Recognizing renamable generalized propositional Horn formulas is NP- complete (Q1804878) (← links)
- Complexity of the problem of being equivalent to Horn formulas (Q2145867) (← links)
- Complexity of the problem of being equivalent to Horn formulas. II (Q6160501) (← links)