The following pages link to A randomized algorithm for 3-SAT (Q626900):
Displaying 6 items.
- A combinatorial analysis for the critical clause tree (Q1946495) (← links)
- An algorithm for random signed 3-SAT with intervals (Q2637342) (← links)
- Improving PPSZ for 3-SAT using critical variables (Q3113688) (← links)
- Hard satisfiable 3-SAT instances via autocorrelation (Q5015598) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191583) (← links)
- Computer Science Logic (Q5311247) (← links)