Extending SMT Solving with Non-Ground Clause Learning
This research contributes to the theoretical foundations of SMT solving, which is a core component of many automated reasoning and verification tools.
This research contributes to the theoretical foundations of SMT solving, which is a core component of many automated reasoning and verification tools.