סֵמֶל
יוניונפדיה
תִקשׁוֹרֶת
 Google Play כעת ב-
חָדָשׁ! הורד יוניונפדיה במכשיר אנדרואיד שלך!
חופשי
גישה מהירה יותר מאשר בדפדפן!
 

בעיית SAT

מַדָד בעיית SAT

#הפניה בעיית הספיקות. [1]

1 יַחַס: בעיית הספיקות.

בעיית הספיקות

בעיית הספיקות בתחשיב הפסוקים (בקיצור: SAT - קיצור של המילה האנגלית Satisfiability, שמשמעותה ספיקות) הוא שמה של בעיית הכרעה הנחקרת במסגרת תורת הסיבוכיות במדעי המחשב.

חָדָשׁ!!: בעיית SAT ובעיית הספיקות · ראה עוד »

אזכור

[1] https://he.wikipedia.org/wiki/בעיית_SAT

יוֹצֵאנִכנָס
היי! אנחנו בפייסבוק עכשיו! »