@inproceedings{GN03:sat,
  author =       "Sumit Gulwani and George C. Necula",
  title =        "A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols",
  booktitle =    "19th International Conference on Automated Deduction",
  publisher =    "Springer-Verlag",
  series =       "LNCS",
  volume =       "2741", 
  month =        jul # "/" # aug,
  pages =        "167--181",
  year =         "2003",
}