On the possibility of faster SAT algorithms
- Mihai Pǎtraşcu
- Ryan Williams
- 2010
- SODA 2010
Conference paper
Publications
12 results for Ryan Williams
Regularity lemmas and combinatorial algorithms
- Nikhil Bansal
- Ryan Williams
- 2009
- FOCS 2009
Conference paper