Frequent Itemset Mining for Big Data Using Greatest Common Divisor Technique. - Mohamed A. Gawwad; Mona F. Ahmed; Magda B. Fayek (Data Sci. J., 2017)

SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints. - Lydia Wahid Rizkallah; Mona F. Ahmed; Nevin M. Darwish (Comput. J., 2020)