Pages that link to "Item:Q1964360"
From MaRDI portal
The following pages link to On \(k\)-positive satisfiability problem (Q1964360):
Displaying 8 items.
- An exact algorithm for the Boolean connectivity problem for \(k\)-CNF (Q638525) (← links)
- A moderately exponential time algorithm for \(k\)-IBDD satisfiability (Q722517) (← links)
- Solving satisfiability in less than \(2^ n\) steps (Q1082830) (← links)
- A hierarchy of tractable satisfiability problems (Q1208436) (← links)
- An algorithm based on tabu search for satisfiability problem (Q1613279) (← links)
- A Note on a Problem Posed by D. E. Knuth on a Satisfiability Recurrence (Q3191203) (← links)
- (Q3830980) (← links)
- On the <i>K</i>‐sat model with large number of clauses (Q4642745) (← links)