External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds

Jiawei Li 0014, Yuhao Li, Hanlin Ren. Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds. In Aditya Bhaskara, Artur Czumaj, editors, Proceedings of the 58th Annual ACM Symposium on Theory of Computing, STOC 2026, Salt Lake City, UT, USA, June 22-26, 2026. pages 788-798, ACM, 2026. [doi]

Authors

Jiawei Li 0014

This author has not been identified. Look up 'Jiawei Li 0014' in Google

Yuhao Li

This author has not been identified. Look up 'Yuhao Li' in Google

Hanlin Ren

This author has not been identified. Look up 'Hanlin Ren' in Google
runs on