Tasniem Nasser Al-Yahya, Mohamed El-bachir Menai, Hassan Mathkour. On the Structure of the Boolean Satisfiability Problem: A Survey. ACM Computing Surveys, 55(3), 2023. [doi]
@article{Al-YahyaMM23,
title = {On the Structure of the Boolean Satisfiability Problem: A Survey},
author = {Tasniem Nasser Al-Yahya and Mohamed El-bachir Menai and Hassan Mathkour},
year = {2023},
doi = {10.1145/3491210},
url = {https://doi.org/10.1145/3491210},
researchr = {https://researchr.org/publication/Al-YahyaMM23},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {55},
number = {3},
}