Z3: An Efficient SMT Solver
Z3: An Efficient SMT Solver is one of 9,000 studies in the ScholarPulse dataset. Key details — Authors: Leonardo de Moura, Nikolaj Bjørner; Journal / source: Lecture notes in computer science; Year: 2008.
| Authors | Leonardo de Moura, Nikolaj Bjørner |
|---|---|
| Journal / source | Lecture notes in computer science |
| Year | 2008 |
| Field | Logic, programming, and type systems |
| Times cited | 6296 |
| Type | book-chapter |
| DOI / link | https://doi.org/10.1007/978-3-540-78800-3_24 |