Robuta

https://www.kernel.org/doc/html/v6.19/driver-api/dpll.html The Linux kernel dpll subsystem — The Linux Kernel documentation linux kernel dpll subsystem documentation https://cris.bgu.ac.il/en/publications/exponential-lower-bounds-for-the-running-time-of-dpll-algorithms--3/fingerprints/?sortBy=alphabetically Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas -... lower bounds for the running time exponential dpll