NTHRYS › PhD Assistance › Theoretical Computer Science

Theoretical Computer Science

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Proof Complexity and Lower Bounds

Studies the length and depth of formal proofs in various proof systems to understand fundamental limits of automated theorem proving.