Ngā hua rapu - Davis-Putnam-algoritmen
Kāore tō rapu - Davis-Putnam-algoritmen - 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: Davis-Putnam-algoritmen~.
- Mā te tāpiri tohu kārimākā e tikia atu ai pea ngā rerekētanga ā-rohe: Davis-Putnam-algoritmen*.