Login / Signup
Z3: An Efficient SMT Solver.
Leonardo Mendonça de Moura
Nikolaj Bjørner
Published in:
TACAS (2008)
Keyphrases
</>
search algorithm
databases
machine learning
genetic algorithm
expert systems
knowledge representation
orders of magnitude
constraint solving