Login / Signup

Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).

Margus VeanesAndo Saabas
Published in: ABZ (2008)
Keyphrases
  • modulo theories
  • satisfiability modulo theories
  • evolutionary algorithm
  • high level
  • object oriented
  • search strategy
  • answer set programming