Robuta

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 https://huang.sangxia.info/home/2013-stcube Sangxia Huang - Approximation Resistance on Satisfiable Instances for Predicates with Few Accepting... huang approximation resistance satisfiable instances