• Full Text
  • Dissertation or Thesis
  • Open Dissertation

Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL

. 
 New York University ProQuest Dissertations & Theses,  2016. 10025676.