Login / Signup
Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.
Andreas Bauer
Martin Leucker
Christian Schallhart
Michael Tautschnig
Published in:
ISoLA (2007)
Keyphrases
</>
highly efficient
high level
long term
lightweight
neural network
data mining
evolutionary algorithm