Хайлтын үр дүнгүүд - algorithme de Davis-Putnam~

Үр дүн алга!

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

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

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