Modern SAT solvers exploit structure (unit propagation, clause learning) absent from worst-case anal...
This proposition has not been edited since the history system was added.