Login / Signup

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

Matthias HeizmannYu-Fang ChenDaniel DietschMarius GreitschusJochen HoenickeYong LiAlexander NutzBetim MusaChristian SchillingTanja SchindlerAndreas Podelski
Published in: TACAS (2) (2018)
Keyphrases
  • search algorithm
  • search space
  • search strategy
  • real time
  • search strategies
  • search queries
  • search efficiency
  • machine learning
  • artificial intelligence
  • end users
  • search methods
  • visual search
  • search problems