Programming Z3.

Nikolaj Bjørner Leonardo de Moura Lev Nachmanson Christoph M. Wintersteiger

Published in: SETSS (2018)

Keyphrases

programming language
databases
computer programming
neural network
real world
artificial intelligence
case study
multiscale
object oriented
programming education