Ohcanbohtosat - Davis-Putnam-algoritmen :: Library Catalog

Ozuin - Davis-Putnam-algoritmen - eai gávdnon bohtosat.

Sáhtát oažžut lasi bohtosiid go hábmet iežat ohcama.

Seđđon ohcamiin sáhttet gávdnot ohcanbohtosat, main leat seammasullasaš sánit: Davis-Putnam-algoritmen~.
Joker-mearkkaid geavahemiin sáhtát gávdnat earálágán sátnehámiid: Davis-Putnam-algoritmen*.