Publications

12 results for Ryan Williams

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

On the possibility of faster SAT algorithms