Z3 and SMT in Industrial R&D.

Nikolaj Bjørner

Published in: FM (2018)

Keyphrases

industrial applications
rate distortion
statistical machine translation
quality improvement
application of data mining
portfolio management
neural network
data mining
three dimensional
industrial process
manufacturing industry
industrial environment