Pages that link to "Item:Q1120278"
From MaRDI portal
The following pages link to On renaming a set of clauses as a Horn set (Q1120278):
Displaying 6 items.
- Unique Horn renaming and Unique 2-Satisfiability (Q673674) (← links)
- Existence of simple propositional formulas (Q917333) (← links)
- A linear algorithm for renaming a set of clauses as a Horn set (Q1318709) (← links)
- On renamable Horn and generalized Horn functions (Q1356207) (← links)
- Renaming a set of non-Horn clauses (Q1587332) (← links)
- A sharp threshold for the renameable-Horn and the \(q\)-Horn properties (Q2581546) (← links)