Ngā hua rapu - algorithme de Davis-Putnam :: Library Catalog

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~.
Mā te tāpiri tohu kārimākā e tikia atu ai pea ngā rerekētanga ā-rohe: algorithme de Davis-Putnam*.