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