תגית: DPLL

2 פוסטים

• 2014-02-03

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

• 2013-12-11

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

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