Pages that link to "Item:Q378221"
From MaRDI portal
The following pages link to Derandomizing the HSSW algorithm for 3-SAT (Q378221):
Displaying 8 items.
- A satisfiability algorithm and average-case hardness for formulas over the full binary basis (Q354655) (← links)
- Derandomizing the HSSW algorithm for 3-SAT (Q378221) (← links)
- Local reduction (Q1641001) (← links)
- An inverse design method for non-uniform flow inlet with a given shock wave (Q2316296) (← links)
- Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT (Q2450932) (← links)
- NEW WORST-CASE UPPER BOUND FOR COUNTING EXACT SATISFIABILITY (Q2941085) (← links)
- (Q3087934) (redirect page) (← links)
- Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT (Q5002768) (← links)
