2 papers
cs.LO2026
Satisfiability Modulo Extensional Constant Arrays (Extended Version)
Mathias Preiner, Aina Niemetz, Clark Barrett
Reasoning about array data structures is a key requirement for many applications in hardware and software verification, especially in combination with machine integers. The Satisfi…
cs.LO2025
Towards SMT Solver Stability via Input Normalization
Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz +4
In many applications, SMT solvers are utilized to solve similar or identical tasks over time. Significant variations in performance due to small changes in the input are not uncomm…