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.

Joker-mearkkaid geavahemiin sáhtát gávdnat earálágán sátnehámiid: algorithme de Davis-Putnam*.