DMCA

Empirical study of the anatomy of modern SAT solvers (2011)

by Hadi Katebi , Karem A. Sakallah , João P. Marques-silva
Venue:In Proc. SAT 2011, volume 6695 of LNCS
Citations:11 - 1 self