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.

Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation

Maolin Sun, Yibiao Yang, Jiangchang Wu, Yuming Zhou. Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation. Proceedings of the ACM on Programming Languages, 9(OOPSLA2):1205-1231, 2025. [doi]

Abstract

Abstract is missing.

runs on