On the possibility of faster SAT algorithms
- Mihai Pǎtraşcu
- Ryan Williams
- 2010
- SODA 2010
Conference paper
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
Conference paperErratum: Efficient similarity search and classification via rank aggregation
- Alexandr Andoni
- Ronald Fagin
- et al.
- 2008
- SIGMOD 2008
Conference paperTight lower bounds for selection in randomly ordered streams (extended abstract)
- Amit Chakrabarti
- T.S. Jayram
- et al.
- 2008
- SODA 2008
Conference paper