Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL Subtitle
By : Manas Das
Book Info