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.

Hint-Based SMT Proof Reconstruction

Joshua Clune, Haniel Barbosa, Jeremy Avigad. Hint-Based SMT Proof Reconstruction. In Sebastian Junges, Guy Katz, editors, Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I. Volume 16505 of Lecture Notes in Computer Science, pages 255-275, Springer, 2026. [doi]

Authors

Joshua Clune

This author has not been identified. Look up 'Joshua Clune' in Google

Haniel Barbosa

This author has not been identified. Look up 'Haniel Barbosa' in Google

Jeremy Avigad

This author has not been identified. Look up 'Jeremy Avigad' in Google
runs on