הישג בינלאומי יוצא דופן לסטודנט מהפקולטה בתחרות MaxSAT Evaluation 2026
ים סלונימסקי, סטודנט לתואר שני בפקולטה למדעי הנתונים וההחלטות, רשם הישג מרשים בתחרות הבינלאומית MaxSAT Evaluation 2026 (Anytime Tracks). התוכנה שפיתח במסגרת מחקרו, Aperture, זכתה במקום הראשון בעולם ב-4 מתוך 6 קטגוריות בתחרות, ובמקומות השני והשלישי בשתי הקטגוריות הנותרות. המחקר בוצע בהנחיית פרופ’ עופר שטריכמן ובשיתוף עמית המחקר ד”ר אלכסנדר נאדל.
בתחרות השתתפו 14 קבוצות מחקר מובילות מרחבי העולם. בעיית Anytime MaxSAT עוסקת במציאת השמה מספקת שמביאה למינימום את ערכה של פונקציית מטרה מעל נוסחה פסוקית בתוך חלון זמן נתון. מאחר שמדובר בבעיה מסוג NP-complete, האתגר המרכזי הוא למצוא בזמן המוקצב השמה שמספקת את כל האילוצים הקשיחים וקרובה ככל האפשר לפתרון האופטימלי.
