Ohcanbohtosat - Davis-Putnam-algoritmen*
Ozuin - Davis-Putnam-algoritmen* - 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: Davis-Putnam-algoritmen~.