Author:Nevin Darwish

Publications
A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems Mohammad Abdul Aziz, Amr Wassal and Nevine Darwish In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories