Invitation to Fixed-Parameter Algorithms. 2002. [35] Mihai Pǎtraşcu and Ryan Williams. On the possibility of faster SAT algorithms (0)

by Rolf Niedermeier
Venue:In Proc