Login / Signup

Building Bridges between Symbolic Computation and Satisfiability Checking.

Erika Ábrahám
Published in: ISSAC (2015)
Keyphrases
  • machine learning
  • real time
  • data sets
  • website
  • training data
  • wide range
  • cooperative
  • pattern recognition