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