Login / Signup

Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007).

Clark W. BarrettMorgan DetersAlbert OliverasAaron Stump
Published in: Int. J. Artif. Intell. Tools (2008)
Keyphrases
  • genetic algorithm
  • artificial intelligence
  • special case
  • phase transition
  • modulo theories