Proof complexity investigates the inherent difficulty of demonstrating that a given propositional formula is unsatisfiable. By analysing measures such as proof length, size, width and degree across ...