Tasniem Nasser Al-Yahya

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Constraint Satisfaction

Top Venues

Informatica (Slovenia)

ACM Comput. Surv.

J. Comput. Sci. Technol.

Publications

Tasniem Nasser Al-Yahya, Mohamed El Bachir Menai, Hassan Mathkour
On the Structure of the Boolean Satisfiability Problem: A Survey. ACM Comput. Surv. 55 (3) (2023)
Tasniem Nasser Al-Yahya, Mohamed El Bachir Menai, Hassan Mathkour
Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors. Algorithms 15 (9) (2022)
Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya
Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. Informatica (Slovenia) 37 (3) (2013)
Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya
A Taxonomy of Exact Methods for Partial Max-SAT. J. Comput. Sci. Technol. 28 (2) (2013)