תגית: SAT

4 פוסטים

• 2013-12-11

  פותרים את SAT - אלגוריתם DPLL

• 2013-11-24

  פותרים את SAT: המקרים של HORNSAT ו-2SAT

• 2013-11-14

  רזולוציה - איך אפשר להוכיח שאי אפשר?

• 2012-05-11

  משפט Valiant-Vazirani, או: איך להרוג השמות מספקות עם פונקציות תמצות אקראיות

← חזרה לכל התגיות