Ohcanbohtosat - algorithme de Davis-Putnam*
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~.