Ngā hua rapu - algorithme de Davis-Putnam*
Kāore tō rapu - algorithme de Davis-Putnam* - i ōrite ki tētahi rauemi.
Ka taea pea ētahi hua anō mā te whakakē i tō uiui rapu.
- Mā te whakahaere i te rapu makaro e tīkina atu ai pea ngā kupu he ōrite te takikupu: algorithme de Davis-Putnam~.