Pages that link to "Item:Q673674"
From MaRDI portal
The following pages link to Unique Horn renaming and Unique 2-Satisfiability (Q673674):
Displaying 7 items.
- On renaming a set of clauses as a Horn set (Q1120278) (← links)
- A linear time algorithm for unique Horn satisfiability (Q1313762) (← links)
- The unique Horn-satisfiability problem and quadratic Boolean equations. (Q1353999) (← links)
- On renamable Horn and generalized Horn functions (Q1356207) (← links)
- Sorting, linear time and the satisfiability problem (Q1817067) (← links)
- Unique satisfiability of Horn sets can be solved in nearly linear time (Q1894352) (← links)
- A sharp threshold for the renameable-Horn and the \(q\)-Horn properties (Q2581546) (← links)