Pages that link to "Item:Q3502698"
From MaRDI portal
The following pages link to Complexity and Algorithms for Well-Structured k-SAT Instances (Q3502698):
Displaying 8 items.
- A note on width-parameterized SAT: an exact machine-model characterization (Q990090) (← links)
- Size-treewidth tradeoffs for circuits computing the element distinctness function (Q1702852) (← links)
- On the satisfiability of quantum circuits of small treewidth (Q2411047) (← links)
- Satisfiability with index dependency (Q2637283) (← links)
- On the Satisfiability of Quantum Circuits of Small Treewidth (Q3194714) (← links)
- NP-Completeness of (k-SAT,r-UNk-SAT) and (LSAT ≥ k ,r-UNLSAT ≥ k ) (Q3507322) (← links)
- On the <i>K</i>‐sat model with large number of clauses (Q4642745) (← links)
- The (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems (Q5868883) (← links)