DBLP Record 'journals/ijait/BarrettDOS08'

BibTeX

@article{DBLP:journals/ijait/BarrettDOS08,
  author    = {Clark Barrett and
               Morgan Deters and
               Albert Oliveras and
               Aaron Stump},
  title     = {Design and Results of the 3rd Annual Satisfiability Modulo
               Theories Competition (SMT-Comp 2007)},
  journal   = {International Journal on Artificial Intelligence Tools},
  volume    = {17},
  number    = {4},
  year      = {2008},
  pages     = {569-606},
  ee        = {http://dx.doi.org/10.1142/S0218213008004060},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}