Travelled to:1 × United Kingdom
Collaborated with:A.G.Wassal N.M.Darwish
Talks about:techniqu (1) problem (1) machin (1) learn (1) estim (1) qfbv (1) hard (1) smt (1)
Person: Mohammad Abdul Aziz
DBLP: Aziz:Mohammad_Abdul
Contributed to:
2012Wrote 1 papers:
- SMT-2012-AzizWD #estimation #machine learning #problem #smt
- A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems (MAA, AGW, NMD), pp. 57–66.