Хайлтын үр дүнгүүд - Davis-Putnam-algoritmen

Үр дүн алга!

Таны хайлт - Davis-Putnam-algoritmen - ямарваа нөөцтэй тохирохгүй байна.

Та хайлтын асуулгаа тохируулснаар илүү их үр дүн олж авах боломжтой байж магадгүй.

  • Тодорхой бус хайлт хийснээр ижил төстэй бичигддэг үгсийг олж авах боломжтой: Davis-Putnam-algoritmen~.
  • Хөрвөх тэмдэг нэмснээр үгийн хувилбарыг татаж авах боломжтой: Davis-Putnam-algoritmen*.