المنشورات
مقال فى مجلة
2023
On the structure of the Boolean satisfiability problem: A survey
ACM Computing Surveys
اسم الناشر
ACM
رقم المجلد
55
رقم الانشاء
3
الصفحات
46:1-46:34
مزيد من المنشورات
2023
تم النشر فى:
MDPI