Ngā hua rapu - Davis-Putnam-algoritmen~ :: Library Catalog

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