However, practical methods exist (e.g., DPLL algorithm, 1962; Chaff algorithm, 2001) that are very fast for many useful cases.
Ωστόσο, υπάρχουν πρακτικές μέθοδοι ( π.χ. , ο αλγόριθμος DPLL , 1962 – αλγόριθμος «άχυρο», 2001), που είναι πολύ γρήγορες για πολλές χρήσιμες περιπτώσεις .