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

اسم الناشر

MDPI

رقم المجلد

الصفحات

302

نوع الفرضية

مزيد من المنشورات

بواسطة T. Alyahya, M.B. Menai, H. Mathkour

2023

تم النشر فى:

ACM

بواسطة T. Alyahya, M.B. Menai, H. Mathkour

2023

تم النشر فى:

MDPI

بواسطة S. Al-Hadhrami, M.B. Menai, S. Al-Ahmadi, A. Alnafessah

2023

تم النشر فى:

IEEE

Prof. Mohamed El Bachir Menai