Ohcanbohtosat - algorisme de Davis-Putnam :: Library Catalog

Ozuin - algorisme de Davis-Putnam - 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: algorisme de Davis-Putnam~.
Joker-mearkkaid geavahemiin sáhtát gávdnat earálágán sátnehámiid: algorisme de Davis-Putnam*.