Pages that link to "Item:Q1894352"
From MaRDI portal
The following pages link to Unique satisfiability of Horn sets can be solved in nearly linear time (Q1894352):
Displaying 5 items.
- Unique Horn renaming and Unique 2-Satisfiability (Q673674) (← links)
- A linear time algorithm for unique Horn satisfiability (Q1313762) (← links)
- The unique Horn-satisfiability problem and quadratic Boolean equations. (Q1353999) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- Sorting, linear time and the satisfiability problem (Q1817067) (← links)