The state of SAT (2007)

by B Selman
Venue:Discrete Applied Mathematics