Skip to main content
User Image

Prof. Mohamed El Bachir Menai

Professor

Faculty

علوم الحاسب والمعلومات
Room 2174 - Building 31 (1st floor)
publication
Journal Article
2023

On the structure of the Boolean satisfiability problem: A survey

ACM Computing Surveys

Publisher Name
ACM
Volume Number
55
Issue Number
3
Pages
46:1-46:34
more of publication
publications
by T. Alyahya, M.B. Menai, H. Mathkour
2023
Published in:
ACM
publications
by N. Alangari, M.B. Menai, H. Mathkour, I. Almosallam
2023
Published in:
MDPI
publications
by S. Al-Hadhrami, M.B. Menai, S. Al-Ahmadi, A. Alnafessah
2023
Published in:
IEEE