Login / Signup

Integrating Linear Arithmetic into Superposition Calculus.

Konstantin KorovinAndrei Voronkov
Published in: CSL (2007)
Keyphrases
  • artificial neural networks
  • linear systems
  • real time
  • multiresolution
  • linear model
  • automated deduction