Login / Signup

Ultimate Automizer with SMTInterpol - (Competition Contribution).

Matthias HeizmannJürgen ChristDaniel DietschEvren ErmisJochen HoenickeMarkus LindenmannAlexander NutzChristian SchillingAndreas Podelski
Published in: TACAS (2013)
Keyphrases
  • international competition
  • databases
  • learning algorithm
  • image processing
  • multiscale
  • domain knowledge