Canlyniadau Chwilio - algorithme de Davis-Putnam
Eich chwiliad - algorithme de Davis-Putnam - ddim yn cyfateb ag unrhyw adnoddau
Efallai y cewch fwy o ganlyniadau drwy addasu'ch ymholiad chwilio.
- Cynnal chwiliad niwlog a allai adalw termau sydd wedi'u sillafu'n debyg: algorithme de Davis-Putnam~.
- Efallai y byddai ychwanegu symbol nod-chwiliwr yn adfer amrywiad geiriau: algorithme de Davis-Putnam*.