A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems. - Mohammad Abdul Aziz; Amr G. Wassal; Nevin M. Darwish (SMT@IJCAR, 2012)