Ngā hua rapu - algoritmo de Davis-Putnam~
Kāore tō rapu - algoritmo de Davis-Putnam~ - i ōrite ki tētahi rauemi.
Ka taea pea ētahi hua anō mā te whakakē i tō uiui rapu.
- Mā te tāpiri tohu kārimākā e tikia atu ai pea ngā rerekētanga ā-rohe: algoritmo de Davis-Putnam*.