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