Login / Signup

JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution).

Malte MuesFalk Howar
Published in: TACAS (2) (2021)
Keyphrases
  • breadth first search
  • depth first search
  • search algorithm
  • database
  • simulated annealing
  • reinforcement learning
  • wireless sensor networks
  • heuristic function