Pages that link to "Item:Q1822964"
From MaRDI portal
The following pages link to On the r,s-SAT satisfiability problem and a conjecture of Tovey (Q1822964):
Displayed 7 items.
- Computing unsatisfiable \(k\)-SAT instances with few occurrences per variable (Q557836) (← links)
- Computational complexity of some restricted instances of 3-SAT (Q875598) (← links)
- Tensor network contractions for \#SAT (Q887094) (← links)
- How good are branching rules in DPLL? (Q1281405) (← links)
- DNF tautologies with a limited number of occurrences of every variable (Q1575269) (← links)
- On the parameterized complexity of \((k,s)\)-SAT (Q1711421) (← links)
- Counting the number of solutions for instances of satisfiability (Q2277848) (← links)