Ohcanbohtosat - algoritmo de Davis-Putnam* :: Library Catalog

Ozuin - algoritmo 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: algoritmo de Davis-Putnam~.