Articles with "reusing solutions" as a keyword



Photo by timaesthetic from unsplash

Reusing Solutions Modulo Theories

Sign Up to like & get
recommendations!
Published in 2021 at "IEEE Transactions on Software Engineering"

DOI: 10.1109/tse.2019.2898199

Abstract: In this paper we propose an approach for reusing formula solutions to reduce the impact of Satisfiability Modulo Theories (SMT) solvers on the scalability of symbolic program analysis. SMT solvers can efficiently handle huge expressions… read more here.

Keywords: solutions modulo; reusing solutions; approach; smt solvers ... See more keywords