تجاوز إلى المحتوى الرئيسي
User Image

Prof. Mohamed El Bachir Menai

Professor

Faculty

علوم الحاسب والمعلومات
Room 2174 - Building 31 (1st floor)
المنشورات
مقال فى مجلة
2023

Boosting the performance of CDCL-based SAT solvers by exploiting backbones and backdoors

Algorithms

اسم الناشر
MDPI
رقم المجلد
15
الصفحات
302
نوع الفرضية
9
مزيد من المنشورات
publications
بواسطة T. Alyahya, M.B. Menai, H. Mathkour
2023
تم النشر فى:
ACM
publications
بواسطة T. Alyahya, M.B. Menai, H. Mathkour
2023
تم النشر فى:
MDPI
publications
بواسطة S. Al-Hadhrami, M.B. Menai, S. Al-Ahmadi, A. Alnafessah
2023
تم النشر فى:
IEEE