Login / Signup
metaSMT: Focus on Your Application not on Solver Integration.
Finn Haedicke
Stefan Frehse
Görschwin Fey
Daniel Große
Rolf Drechsler
Published in:
DIFTS@FMCAD (2011)
Keyphrases
</>
knowledge base
neural network
data sets
website
wide range
real time
databases
digital libraries
expert systems
artificial neural networks
model driven
seamless integration
modular design