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