Canlyniadau Chwilio - algoritmo de Davis-Putnam*
Eich chwiliad - algoritmo 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: algoritmo de Davis-Putnam~.