Sciweavers

SODA
2010
ACM
168views Algorithms» more  SODA 2010»
14 years 9 months ago
On the possibility of faster SAT algorithms
Mihai Patrascu, Ryan Williams