The following pages link to (Q5417683):
Displayed 5 items.
- Derandomizing the HSSW algorithm for 3-SAT (Q378221) (← links)
- A short implicant of a CNF formula with many satisfying assignments (Q727982) (← links)
- Strengthening hash families and compressive sensing (Q1932362) (← links)
- A Short Implicant of a CNF Formula with Many Satisfying Assignments (Q2942635) (← links)
- O(log m)-approximation for the routing open shop problem (Q5247701) (← links)