Tasniem Nasser Al-Yahya

According to our database¹, Tasniem Nasser Al-Yahya authored at least 4 papers between 2013 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

On the Structure of the Boolean Satisfiability Problem: A Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2023

2022

Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors.

[BibT_eX]

[DOI]

Algorithms, 2022

2013

A Taxonomy of Exact Methods for Partial Max-SAT.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2013

Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2013