Ohcanbohtosat - algorithme de Davis-Putnam :: Library Catalog

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