Torthaí cuardaigh - algorithme de Davis-Putnam~
Do chuardach - algorithme de Davis-Putnam~ - níor mheaitseáil seo acmhainn ar bith.
B'fhéidir go mbeifeá in ann tuilleadh torthaí a fháil ach d’iarratas cuardaigh a bheachtú.
- Má chuirtear saoróg leis, seans go bhfaighfear malairtí focail: algorithme de Davis-Putnam*.