DOI resolved by resea

Z3: An Efficient SMT Solver

Z3: An Efficient SMT Solver on resea.org. DOI 10.1007/978-3-540-78800-3_24. Leonardo de Moura, Nikolaj Bjørner.

Leonardo de Moura, Nikolaj Bjørner
https://resea.org/10.1007/978-3-540-78800-3_24
Open original source View DOI

Abstract

No abstract available from OpenAlex for this work.