SMT Solver With Hardware Acceleration
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2022.3209550
Abstract: Satisfiability modulo theories (SMTs), an extension of Boolean satisfiability (SAT) problem, is widely used in many application domains because of its rich expressiveness. Thus, there are many works trying to speedup the process of SAT/SMT… read more here.
Keywords: smt solver; hardware; smt; solver hardware ... See more keywords