Z3 (computer)

Known as: Zuse Z3 
The Z3 was an electromechanical computer designed by Konrad Zuse. It was the world's first working programmable, fully automatic digital computer… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2015
Highly Cited
2015
νZ is a part of the SMT solver Z3. It allows users to pose and solve optimization problems modulo theories. Many SMT applications… (More)
  • figure 2
  • figure 5
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2014
Highly Cited
2014
Structured and unstructured uncertainties are the main obstacles in the development of advanced controllers for high-accuracy… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • figure 4
Is this relevant?
2013
2013
Search-based testing can automatically generate unit test suites for object oriented code, but may struggle to generate specific… (More)
  • figure 1
  • figure 2
  • table I
  • figure 3
  • table III
Is this relevant?
2011
2011
Interpolating provers have a number of applications in formal verification, including abstraction refinement and invariant… (More)
  • table I
Is this relevant?
Highly Cited
2010
Highly Cited
2010
The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
[1] We combine a new, large data set of surface wave phase anomalies, long-period waveforms, and body wave travel times to… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A novel inverter-output filter, which cannot only filter the differential-mode voltage dv/dt but also suppress the common-mode… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
A gene trap-type targeting vector was designed to inactivate the beta 1 integrin gene in embryonic stem (ES) cells. Using this… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?