On the Minimum Satisfiability Problem. - Umair Arif; Robert Benkoczi; Daya Ram Gaur; Ramesh Krishnamurti (CALDAM, 2020)

A primal-dual approximation algorithm for Minsat. - Umair Arif; Robert Benkoczi; Daya Ram Gaur; Ramesh Krishnamurti (Discret. Appl. Math., 2022)

An efficient interpretable stacking ensemble model for lung cancer prognosis. - Umair Arif; Chunxia Zhang; Sajid Hussain; Abdul Rauf Abbasi (Comput. Biol. Chem., 2024)