Mathematical Logic Foundations

Research Frontiers in Proof Complexity and Lower Bounds

Study of proof length and complexity in propositional proof systems with applications to SAT solving and computational hardness.

All Mathematical Logic & Foundations PhD categories