Login / Signup

Z3: An Efficient SMT Solver.

Leonardo Mendonça de MouraNikolaj Bjørner
Published in: TACAS (2008)
Keyphrases
  • search algorithm
  • databases
  • machine learning
  • genetic algorithm
  • expert systems
  • knowledge representation
  • orders of magnitude
  • constraint solving