Sign in

Improving Interpolants for Linear Arithmetic.

Ernst AlthausBjörn BeberJoschka KupilasChristoph Scholl
Published in: ATVA (2015)
Keyphrases
  • real time
  • case study
  • data sets
  • neural network
  • e learning
  • multiscale
  • search algorithm
  • expert systems
  • evolutionary algorithm
  • special case