Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. - Mohamed El-bachir Menai; Tasniem Nasser Al-Yahya (Informatica (Slovenia), 2013)

A Taxonomy of Exact Methods for Partial Max-SAT. - Mohamed El-bachir Menai; Tasniem Nasser Al-Yahya (J. Comput. Sci. Technol., 2013)

Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors. - Tasniem Nasser Al-Yahya; Mohamed El Bachir Menai; Hassan Mathkour (Algorithms, 2022)

On the Structure of the Boolean Satisfiability Problem: A Survey. - Tasniem Nasser Al-Yahya; Mohamed El Bachir Menai; Hassan Mathkour (ACM Comput. Surv., 2023)