Credit points: 2
הסמינר יעסוק באלגוריתמים ושיטות לאימות פורמלי מבוססות SAT. הדגש העיקרי בסמינר במהלך הסמסטר הקרוב יהיה:
1. אלגוריתמים מתקדמים לפתרון בעיית ה-SAT.
2. מערכות הוכחה, עוצמתן, והקשר שלהן לבעיית ה-SAT.
3. אלגוריתמים מבוססי SAT בעבור בדיקת מודל.
4. מערכות הוכחה, SAT והקשר שלהן לבדיקת מודל.