Pages that link to "Item:Q1318709"
From MaRDI portal
The following pages link to A linear algorithm for renaming a set of clauses as a Horn set (Q1318709):
Displaying 5 items.
- Disjunctive closures for knowledge compilation (Q460617) (← links)
- Unique Horn renaming and Unique 2-Satisfiability (Q673674) (← links)
- Sorting, linear time and the satisfiability problem (Q1817067) (← links)
- On \(k\)-positive satisfiability problem (Q1964360) (← links)
- A sharp threshold for the renameable-Horn and the \(q\)-Horn properties (Q2581546) (← links)
