book chapterLecture notes in computer scienceJan 1, 2008Closed access

Z3: An Efficient SMT Solver

LDLeonardo de MouraNBNikolaj Bjørner

Microsoft (United States)

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

6,275
total citations
FWCI
120.52
Percentile
100%
References
17
Citations per year

Authors

2

Topics & keywords

Topics
Keywords
  • Satisfiability modulo theories
  • Computer science
  • Solver
  • Programming language
  • Satisfiability
  • Modulo
  • Software
  • Theoretical computer science
UN Sustainable Development Goals
  • Peace, Justice and strong institutions
No related works found for this paper.