المنشورات
مقال فى مجلة
2023
Boosting the performance of CDCL-based SAT solvers by exploiting backbones and backdoors
Algorithms
اسم الناشر
MDPI
رقم المجلد
15
الصفحات
302
نوع الفرضية
9
مزيد من المنشورات
2025
تم النشر فى:
Artificial Intelligence Review
2025
تم النشر فى:
Applied Sciences