Leveraging subproblems for improved SMT solver performance

Stanford Digital Repository 2026 Thesis Open access

Read full text
Authors: Amalee Wilson, Clark Barrett, Caroline Trippel, Haoze Wu, Stanford University. School of Engineering., Stanford University. Computer Science Department.
DOI: 10.25740/zb874fw0256
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Constraint Satisfaction and Optimization

Publication details

Journal / source
Stanford Digital Repository
Publication date
25 February 2026
Language
EN
Document type
Thesis