Pages that link to "Item:Q1353999"
From MaRDI portal
The following pages link to The unique Horn-satisfiability problem and quadratic Boolean equations. (Q1353999):
Displayed 5 items.
- A linear time algorithm for unique Horn satisfiability (Q1313762) (← links)
- Fast algorithms for revision of some special propositional knowledge bases (Q1415946) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Unique satisfiability of Horn sets can be solved in nearly linear time (Q1894352) (← links)
- A new algorithm for the propositional satisfiability problem (Q1894360) (← links)