On the possibility of faster SAT algorithms
- Mihai Pǎtraşcu
- Ryan Williams
- 2010
- SODA 2010
Publications
4 results for Mihai Pǎtraşcu
Lower bounds for edit distance and product metrics via Poincaré-type inequalities
- Alexandr Andoni
- T.S. Jayram
- et al.
- 2010
- SODA 2010
Erratum: Efficient similarity search and classification via rank aggregation
- Alexandr Andoni
- Ronald Fagin
- et al.
- 2008
- SIGMOD 2008
Tight lower bounds for selection in randomly ordered streams (extended abstract)
- Amit Chakrabarti
- T.S. Jayram
- et al.
- 2008
- SODA 2008