SMT-based analysis of switching multi-domain linear Kirchhoff networks.

Alessandro Cimatti Sergio Mover Mirko Sessa

Published in: FMCAD (2017)

Keyphrases

multi domain
data sets
heterogeneous networks
neural network
machine learning
information systems
natural language
information technology
prior knowledge
cross domain