לא מדויק
☰
דף הבית
פוסט אקראי
כל הפוסטים
קטגוריות
סיכומי הרצאות
חפש
תגית: SAT
4 פוסטים
2013-12-11
פותרים את SAT - אלגוריתם DPLL
2013-11-24
פותרים את SAT: המקרים של HORNSAT ו-2SAT
2013-11-14
רזולוציה - איך אפשר להוכיח שאי אפשר?
2012-05-11
משפט Valiant-Vazirani, או: איך להרוג השמות מספקות עם פונקציות תמצות אקראיות
← חזרה לכל התגיות