FIT-Conference Hub
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
السمة
العربية
المؤتمرات
المجلات
الرسوم البيانية
روبوت الدردشة
جديد
الدعم
نشر
الإشعارات
تحديد الكل كمقروء
لا توجد إشعارات جديدة.
عرض الكل
كلمة مفتاحية
البداية:
النهاية:
النوع
الموقع
بحث
مسح
إخفاء خيارات البحث المتقدمة
?
تاريخ التقديم:
الترتيب:
جميع التصنيفات
A*
A
B
C
Unranked
Other
المصدر:
جميع المصادر
الناشر:
المواضيع:
pseudo-Boolean (PB) solving
×
مجال البحث:
نتائج المؤتمرات (1)
فعاليات لكل صفحة:
4
8
12
20
50
100
International Conference on Theory and Applications of Satisfiability Testing (SAT)
Rank: A
Offline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability Testing
Propositional Satisfiability
Boolean optimization
+18 المزيد
