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~.