Login / Signup
Mohammad Abdul Aziz
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Active Learning
Problems Involving
Image Sequences
Estimation Algorithm
Top Venues
SMT@IJCAR
</>
Publications
</>
Mohammad Abdul Aziz
,
Amr G. Wassal
,
Nevin M. Darwish
A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems.
SMT@IJCAR
(2012)